募捐 9月15日2024 – 10月1日2024 关于筹款

A survey of mathematical logic

Main
Mathematics
A survey of mathematical logic

A survey of mathematical logic

Hao Wang

4.0 / 0

你有多喜欢这本书？

下载文件的质量如何？

下载该书，以评价其质量

下载文件的质量如何？

种类:

年:

1963

出版社:

North-Holland

语言:

english

页:

656

文件:

PDF, 36.69 MB

IPFS:

,

english, 1963

线上阅读

正在转换

转换为失败

您可能会感兴趣

Hao Wang — A Logical Journey: From Gödel to Philosophy [= Goedel]

Moshe Machover — Set theory, logic, and their limitations

Sam Buss, Petr Hajek, Pavel Pudlak — Logic Colloquium ’98: Lecture Notes in Logic 13

WANG HAO — A SURVEY OF MATHEMATICAL LOGIC

Hao Wang — A Survey of Mathematical Logic

Alfred Tarski — Logic, Semantics, Metamathematics. Papers from 1923 to 1938

Wang H. — A survey of mathematical logic

Alfred Tarski — Logic, semantics, metamathematics: Papers from 1923 to 1938

Paul J. Cohen — Set Theory and the Continuum Hypothesis

Hao Wang — A Survey of Mathematical Logic

Paul J. Cohen — Set Theory and the Continuum Hypothesis

William S. Hatcher — The Logical Foundations of Mathematics

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

Hao Wang — A Survey of Mathematical Logic.

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

Gaisi Takeuti — Proof Theory

Robert R. Stoll — Set Theory and Logic

A. G. Hamilton — Logic for Mathematicians

Elliott Mendelson — Introduction to Mathematical Logic

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

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

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

Andrzej Mostowski — Foundational Studies, Selected Works Vol I

Elliott Mendelson (auth.) — Introduction to Mathematical Logic

Elliott Mendelson — Introduction to Mathematical Logic, Sixth Edition

Elliott Mendelson — Introduction to mathematical logic

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

Serafim Batzoglou — Introduction to Incompleteness

Egon Börger, Dean Rosenzweig (auth.), Georg Gottlob, Alexander Leitsch, Daniele Mundici (eds.) — Computational Logic and Proof Theory: Third Kurt Gödel Colloquium, KGC'93 Brno, Czech Republic, August 24–27, 1993 Proceedings

关键词