Handbook of the History of Logic, Volume 5 : Logic from...

Main
Handbook of the History of Logic,...

Handbook of the History of Logic, Volume 5 : Logic from Russell to Church

Gabbay, Dov M.(Author)

5.0 / 0

你有多喜歡這本書？

文件的質量如何？

下載本書進行質量評估

下載文件的質量如何？

年:

2009

語言:

english

ISBN 10:

0444516204

ISBN 13:

9781865843834

文件:

PDF, 5.80 MB

IPFS:

,

english, 2009

線上閱讀

轉換進行中

轉換為失敗

你可能感興趣

Feferman Solomon — Are There Absolutely Unsolvable Problems - Godel's Dichotomy

Kurt Gödel — The Princeton Lectures on Intuitionism

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

CURTIS FRANKS — THE AUTONOMY OF MATHEMATICAL KNOWLEDGE: Hilbert’s Program Revisited

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

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

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

Wilfried Sieg — Hilbert’s Programs and Beyond

Paolo Mancosu — The Adventure of Reason: Interplay Between Philosophy of Mathematics and Mathematical Logic, 1900-1940

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

G T Kneebone — Mathematical logic and the foundations of mathematics

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

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

Baaz, Matthias;Harper, Jr Charles L.;Papadimitriou, Christos H.;Putnam, Hilary W.;Scott, Dana S — Kurt Goedel and the Foundations of Mathematics Horizons of Truth

Solomon Feferman, Charles Parsons, Stephen G. Simpson (eds.) — Kurt Gödel: Essays for his Centennial

Curtis Franks — The Autonomy of Mathematical Knowledge: Hilbert's Program Revisited

Matthias Baaz, Christos H. Papadimitriou, Hilary W. Putnam, Dana S. Scott, Charles L. Harper — Kurt Gödel and the Foundations of Mathematics: Horizons of Truth

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

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

Gerhard Gentzen; M E Szabo — The collected papers of Gerhard Gentzen

Ernest Nagel, James R. Newman, Douglas R. Hofstadter — Goedel's Proof (Revised Edition 2001)

Thomas Drucker (eds.) — Perspectives on the History of Mathematical Logic

Menzler-Trott, Eckart (Author); Craig Smoryński(Translator); Edward Griffor(Translator) — Logic's lost genius - The life of Gerhard Gentzen

John L. Bell — Higher-Order Logic and Type Theory

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

Malpass, Alex — An introduction to the history of philosophical and formal logic: from Aristotle to Tarski

Alex Malpass, Marianna Antonutti Marfori — The History of Philosophical and Formal Logic: From Aristotle to Tarski

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

Jean Van Heijenoort (editor) — From Frege to Godel: A Source Book in Mathematical Logic, 1879-1931

Godehard Link — Formalism and Beyond

Godehard Link (editor) — Formalism and Beyond: On the Nature of Mathematical Discourse

Jan von Plato — Chapters from Gödel’s Unfinished Book on Foundational Research in Mathematics

Jan von Plato — Portrait of Young Gödel: Education, First Steps in Logic, the Problem of Completeness

Roman Murawski — Logos and Mathema: Studies in the Philosophy of Mathematics and History of Logic

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

最常見的術語

相關書單