Spende 15. September, 2024 – 1. Oktober, 2024 Über Spenden

Collected Works Volume I Publications 1929 1936 (Oxford...

Main
Mathematics - Logic
Collected Works Volume I Publications...

Collected Works Volume I Publications 1929 1936 (Oxford University Press, USA)

Kurt Godel

3.0 / 0

Wie gefällt Ihnen dieses Buch?

Wie ist die Qualität der Datei?

Herunterladen Sie das Buch, um Ihre Qualität zu bewerten

Wie ist die Qualität der heruntergeladenen Dateien?

Kategorien:

Mathematics - Logic

Sprache:

english

ISBN 10:

0195039645

ISBN 13:

9780195039641

Datei:

PDF, 26.18 MB

IPFS:

,

english0

Online lesen

Die Konvertierung in ist im Gange

Die Konvertierung in ist fehlgeschlagen

Es kann für Sie interessant sein

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

Kurt Godel — Collected Works: Volume II: Publications 1938-1974 (Godel, Kurt Collected Works)

Kurt Gödel, S. Feferman (Editor-in-Chief), John W. Dawson Jr., Warren Goldfarb, Charles Parsons, R. Solovay — Collected Works: Volume III: Unpublished essays and lectures (Godel, Kurt//Collected Works)

Kurt Godel, Solomon Feferman, John W. Dawson, Warren Goldfarb, Charles Parsons, Wilfried Sieg — Kurt Godel: Collected Works: Volume IV

Kurt Godel, Solomon Feferman, John W. Dawson Jr, Warren Goldfarb, Charles Parsons, Wilfried Sieg — Kurt Godel: Collected Works: Volume V

Rebecca Goldstein — Incompleteness - The Proof and Paradox of Kurt Gödel [= Goedel]

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

John W. Dawson Jr. — Logical Dilemmas: The Life and Work of Kurt Godel

丽贝卡·戈德斯坦 — 不完备性哥德尔的证明和悖论

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

S.C. Kleene — Introduction to Metamathematics

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

Wang H. — A survey of mathematical logic

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

Kneebone, G. T. — Mathematical Logic and The Foundations of Mathematics

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

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. Publications 1929-1936

Solomon Feferman — In the Light of Logic

Solomon Feferman — In the Light of Logic

Fisher, Alec — Formal number theory and computability: a workbook

Alec Fisher — Formal Number Theory and Computability A Workbook

Jaakko Hintikka — The philosophy of mathematics

Stuart Shanker — Godel’s Theorem in Focus (Philosophers in Focus)

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

Stuart G. Shanker (editor) — Gödel’s Theorem in Focus

G T Kneebone — Mathematical logic and the foundations of mathematics

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

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

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

Hao Wang — A Survey of Mathematical Logic.

Stewart Shapiro — Intensional mathematics

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

Stephen Cole Kleene — Mathematical Logic

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

Jean van Heijenoort — From Frege to Goedel: A source book in mathematical logic, 1879-1931

Jean van Heijenoort — Frege and Gödel: Two Fundamental Texts in Mathematical Logic

Jan von Plato — The Great Formal Machinery Works: Theories of Deduction and Computation at the Origins of the Digital Age

S. G. Shanker (editor) — Godel's Theorem in Focus

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

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

Am meisten angefragte Begriffe