The Foundations of Mathematics

Main
Mathematics
The Foundations of Mathematics

The Foundations of Mathematics

Evert W. Beth (Eds.)

5.0 / 5.0

¿Qué tanto le ha gustado este libro?

¿De qué calidad es el archivo descargado?

Descargue el libro para evaluar su calidad

¿Cuál es la calidad de los archivos descargados?

Categorías:

Año:

1959

Editorial:

Elsevier Science

Idioma:

english

ISBN 10:

0444533907

ISBN 13:

9780444533906

Serie:

Studies in Logic and the Foundations of Mathematics, Volume 25

Archivo:

PDF, 11.35 MB

IPFS:

,

english, 1959

Leer en línea

Conversión a en curso

La conversión a ha fallado

También le puede interesar

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

Christopher C. Leary — A Friendly Introduction to Mathematical Logic

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

S.C. Kleene — Introduction to Metamathematics

Joan Roselló — From Foundations to Philosophy of Mathematics

Kurt Gödel / Solomon Feferman et al. — Collected Works, Vol. I: Publications 1929-1936 (Oxford, 1986)

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

Wang H. — A survey of mathematical logic

Abraham A. Fraenkel, Yehoshua Bar-Hillel, Azriel Levy — Foundations of Set Theory

Pogorzelski, Witold Adam — Notions and theorems of elementary formal logic

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

Leary C.C. — A friendly introduction to mathematical logic

Kurt Gödel, Solomon Feferman, John W. Dawson Jr., Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, Jean van Heijenoort — Kurt Gödel: Collected Works: Volume I: Publications 1929-1936

S. Krajewski, S. Krajewski, W. Marek, G. Mirkowska, A. Salwicki, J. Wolenski (eds.) — Topics in Logic, Philosophy and Foundations of Mathematics and Computer Science:In Recognition of Professor Andrzej Grzegorczyk

Jaakko Hintikka — The philosophy of mathematics

Kurt Gödel — Kurt Gödel: Collected Works volume I

Gabbay, Dov M.(Author) — Handbook of the History of Logic, Volume 5 : Logic from Russell to Church

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

Abraham A. Fraenkel, Yehoshua Bar-Hillel, Azriel Levy — Foundations of Set Theory

Hao Wang — A Survey of Mathematical Logic.

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?

Wang, Hao — Popular lectures on mathematical logic

Paul Benacerraf, Hilary Putnam — Philosophy of Mathematics: Selected Readings

Stuart Shanker — Gödel's Theorem in Focus

Robert L. Rogers (Auth.) — Mathematical Logic and Formalized Theories. A Survey of Basic Concepts and Results

Th. Skolem — Mathematical Interpretation of Formal Systems

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

Abraham A. Fraenkel, Yehoshua Bar-Hillel, Azriel Levy — Foundations of Set Theory

Dov M. Gabbay, Franz Guenthner (eds.) — Handbook of Philosophical Logic

Petr Hájek (editor) — Gödel '96: Logical Foundations of Mathematics, Computer Science and Physics - Kurt Gödel's Legacy (Lecture Notes in Logic)

Andrzej Mostowski — Foundational Studies, Selected Works Vol I

Odifreddi, Piergiorgio Odifreddi — Kreiseliana: About and Around Georg Kreisel

Términos más frecuentes