An Axiomatisation of Set von Neumann – – In J. Van Heijenoort (ed.), From Frege to Gödel: A Source Book in Mathematical Logic, Request PDF on ResearchGate | On Feb 1, , José Ferreirós and others published From Frege to Gödel. A Source Book in Mathematical Logic, – Collected here in one volume are some thirty-six high quality translations into English of the most important foreign-language works in mathematical logic.

Author: Viramar Dinris
Country: Timor Leste
Language: English (Spanish)
Genre: Video
Published (Last): 7 July 2009
Pages: 222
PDF File Size: 20.73 Mb
ePub File Size: 4.71 Mb
ISBN: 582-6-56622-430-7
Downloads: 24580
Price: Free* [*Free Regsitration Required]
Uploader: Neshicage

Harvard University Press Set up a giveaway. Sign in Create an account.

In one case, Herbrand’s theorem, there frebe extensive notes to repair a mistake; but most are simply presented as is, with short introductions that give some historical context. Josiah Royce’s Structural Logicism.

From Frege to Gödel

The second part of my review title may shock some, but the excellent collection of papers that Van Heijenoort has edited and in many cases translated! Richard Tieszen – – Philosophy of Science 59 2: ComiXology Thousands of Digital Comics. Request removal from index. Fortunately, this book has recently been reprinted. Editorial comments and footnotes are interpolated where needed, and an extensive bibliography is included. Science Logic and Mathematics.


Hilbert, Russell, and Zermelo show various ways mathematucal overcoming these paradoxes and initiate, respectively, proof theory, the theory of types, and axiomatic set theory.

History of Western Philosophy.

This entry has no external links. A Concise Introduction to Mathematical Logic. This excellent collection has introductions which help immensely.

Page 1 of 1 Start over Page 1 of 1. Alexa Actionable Analytics for the Web. Source Books in the History of the Sciences. No serious student of logic too foundations of mathematics will want to be without it. Customers who viewed this item also viewed. Add all three to Cart Add all three to List.

Douglas Eden Patterson – – Synthese 1: A Form of Herbrand’s Theorem. The fundamental texts of the great classical period in un logic, some of them never before available in English translation, are here gathered together for the first time.

From Frege to Gödel — Jean van Heijenoort | Harvard University Press

Juliet Floyd, Boston University Year in, year out, I recommend free book enthusiastically to students and colleagues for sources in the history and philosophy of modern logic and the foundations of mathematics; I use my own copy so much, it is falling apart.


If you are a seller for this product, would you like frebe suggest updates through seller support? Showing of 7 reviews. Amazon Advertising Find, attract, and engage customers. Introduction to Mathematical Logic. Hilbert, Russell, and Zermelo show various ways of overcoming these paradoxes and initiate, respectively, proof theory, the theory of types, and axiomatic set theory.

Gottlob Frege – – Journal of Symbolic Logic 37 2: From the Publisher via CrossRef no proxy pdcnet. George Cantor – – In J. The digital Too Classical Library loebclassics.