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

Foundational Studies: Selected works

Main
Mathematics
Foundational Studies: Selected works

Foundational Studies: Selected works

Mostowski A.

0 / 0

你有多喜欢这本书？

下载文件的质量如何？

下载该书，以评价其质量

下载文件的质量如何？

种类:

卷:

Vol. 1

年:

1979

出版社:

NH

语言:

english

页:

683

ISBN 10:

044485102X

ISBN 13:

9780444851024

系列:

Studies in Logic and the Foundations of Mathematics, Volume 93

文件:

DJVU, 5.54 MB

IPFS:

,

english, 1979

线上阅读

正在转换

转换为失败

您可能会感兴趣

Jaakko Hintikka (editor) — The Philosophy of Mathematics (Readings in Philosophy)

Saul Kripke — Elementary Recursion Theory And Its Applications To Formal Systems

Saul Kripke — Elementary Recursion Theory And Its Applications To Formal Systems

Hao Wang — A Survey of Mathematical Logic

Hao Wang — A survey of mathematical logic

Bar-Hillel Y. (ed.) — Logic, methodology and philosophy of science II: Proc. Jerusalem, 1964

— Foundations of Mathematics 001

Wang H. — A survey of mathematical logic

Bawise J. (ed.) — The Syntax and Semantics of Infinitary Languages

John N. Crossley (ed.) — Sets, Models and Recursion Theory (Logic Colloquium'65)

Paul J. Cohen — Set Theory and the Continuum Hypothesis

J N Crossley, M A E Dummett — Formal Systems and Recursive Functions

John N. Crossley — Sets, Models and Recursion Theory: Proceedings of the Summer School in Mathematical Logic and Tenth Logic Colloquium Leicester, August-September 1965

Paul J. Cohen — Set Theory and the Continuum Hypothesis

John N. Crossley, Michael Dummett (editors) — Formal Systems and Recursive Functions: Proceedings of the Eighth Logic Colloquium, Oxford, July 1963

Jaakko Hintikka — The philosophy of mathematics

Crossley J.N. (ed.) — Algebra and logic: Proceedings Clayton, 1974

G. H. Muller — Isilc - Logic Conference: Proceedings of the International Summer Institute and Logic Colloquium, Kiel 1974

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.

Crossley J.N., Dummett M.A.E. (eds.) — Formal Systems and Recursive Functions (Logic Colloquium'63)

Andrzej Mostowski — Constructible sets with applications

Andrzej Mostowski (Eds.) — Foundational Studies Selected Works

Mostowski A. — Foundational Studies: Selected Works

Macintyre A., Pacholski L., Paris J. (eds.) — Logic Colloquium '77: Proceedings Wroclaw, 1977

Gaisi Takeuti — 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

Andrzej Mostowski — Sentences Undecidable in Formalized Arithmetic

Th. Skolem — 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

Jech, T.J; Scott, D. — Axiomatic Set Theory, Volume 1 (Symposium in Pure Mathematics Los Angeles July, 1967)

Robert S. Wolf — A Tour Through Mathematical Logic

关键词