A Survey of Mathematical Logic.

Main
Mathematics
A Survey of Mathematical Logic.

A Survey of Mathematical Logic.

Hao Wang

0 / 0

Bạn thích cuốn sách này tới mức nào?

Chất lượng của file scan thế nào?

Xin download sách để đánh giá chất lượng sách

Chất lượng của file tải xuống thế nào?

Thể loại:

Năm:

1963

Nhà xuát bản:

North-Holland Publishing Company

Ngôn ngữ:

english

Trang:

650

ISBN 10:

0444533982

ISBN 13:

9780444533982

Loạt:

Studies in Logic and the Foundations of Mathematics, Volume 33

File:

DJVU, 5.40 MB

IPFS:

,

english, 1963

Đọc online

Hoàn thành chuyển đổi thành trong

Chuyển đổi thành không thành công

Có thể bạn quan tâm

Hao Wang — A Survey of Mathematical Logic

Hao Wang — A logical journey: from Goedel to philosophy

Hao Wang — Reflections on Kurt Gödel [= Goedel]

Hao Wang — Popular Lectures on Mathematical Logic

John Bell, Moshe Machover — A course in mathematical logic

Hao Wang — From Mathematics to Philosophy

Professor Hao Wang (auth.) — Computation, Logic, Philosophy: A Collection of Essays

WANG HAO — A SURVEY OF MATHEMATICAL LOGIC

Hao Wang — A Survey of Mathematical Logic

S.C. Kleene — Introduction to Metamathematics

Hao Wang — A survey of mathematical logic

Wang H. — A survey of mathematical logic

Evert Willem Beth — The foundations of mathematics: A study in the philosophy of science

Paul J. Cohen — Set Theory and the Continuum Hypothesis

William S. Hatcher — The Logical Foundations of Mathematics

Beth, Evert W — The foundations of mathematics: A study in the philosophy of science

R. L. Goodstein — Development of Mathematical Logic

E. Mendelson — Introduction to mathematical logic

Th. Skolem, G. Hasenjaeger, G. Kreisel, A. Robinson, Hao Wang, L. Henkin and J. ЕЃoЕ› (Eds.) — Mathematical Interpretation of Formal Systems

Evert W. Beth (Eds.) — The Foundations of Mathematics

Mostowski A. — Foundational Studies: Selected works

Mostowski A. — Foundational Studies: Selected Works

Gaisi Takeuti — Proof theory

Jean-Yves Girard — Proof Theory and Logical Complexity: Vol. I (Studies in Proof Theory)

C. J. Ash, J. N. Crossley, C. J. Brickhill, J. C. Stillwell, N. H. Williams — What is mathematical logic?

Martin Davis — The undecidable: Basic papers on undecidable propositions, unsolvable problems and computable functions

Kurt Gödel — On Formally Undecidable Propositions of Principia Mathematica and Related Systems

Elliott Mendelson — Introduction to Mathematical Logic

Davis R.E. — Truth, Deduction, and Computation: Logic and Semantics for Computer Science

Andrzej Mostowski — Sentences Undecidable in Formalized Arithmetic

Skolem T., Hasenjaeger G., Kreisel G., Robinson A., et al. — Mathematical interpretation of formal systems

Kino A., Myhill J., Vesley R.E. (eds.) — Intuitionism and Proof Theory: Proceedings of the Summer Conference at Buffalo N.Y. 1968

John L. Pollock — Technical Methods in Philosophy (Focus Series)

Pollock J.L. — Technical methods in philosophy

Jacob T. Schwartz, Domenico Cantone, Eugenio G. Omodeo; Martin Davis (Foreword) — Computational Logic and Set Theory: Applying Formalized Logic to Analysis

Robert S. Wolf — A Tour Through Mathematical Logic

Torkel Franzén — Inexhaustibility: A Non-Exhaustive Treatment

Andrzej Mostowski — Foundational Studies, Selected Works Vol I

Elliott Mendelson (auth.) — Introduction to Mathematical Logic

Từ khóa thường sử dụng nhất