Fundraising September 15, 2024 – October 1, 2024 About fundraising

Foundational Studies Selected Works

Main
Mathematics
Foundational Studies Selected Works

Foundational Studies Selected Works

Andrzej Mostowski (Eds.)

5.0 / 5.0

How much do you like this book?

What’s the quality of the file?

Download the book for quality assessment

What’s the quality of the downloaded files?

Categories:

Year:

1979

Publisher:

Elsevier Science

Language:

english

ISBN 10:

0444851038

ISBN 13:

9780444851031

Series:

Studies in Logic and the Foundations of Mathematics 93, Part A

File:

PDF, 12.42 MB

IPFS:

,

english, 1979

Read Online

Conversion to is in progress

Conversion to is failed

You may be interested in

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

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

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

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

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

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

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

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

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)

Kripke, Saul — Elementary Recursion Theory and its Applications to Formal Systems

Paul J. Cohen — Set Theory and the Continuum Hypothesis

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

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

Mostowski A. — Foundational Studies: Selected works

Mostowski A. — Foundational Studies: Selected Works

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

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

Most frequently terms