Check nearby libraries
Buy this book
![Loading indicator](/images/ajax-loader-bar.gif)
This edition doesn't have a description yet. Can you add one?
Check nearby libraries
Buy this book
![Loading indicator](/images/ajax-loader-bar.gif)
Previews available in: English
Showing 1 featured edition. View all 1 editions?
Edition | Availability |
---|---|
1
Frege and Gödel: two fundamental texts in mathematical logic.
1970, Harvard University Press
in English
0674318447 9780674318441
|
aaaa
Libraries near you:
WorldCat
|
Book Details
Table of Contents
Begriffsschrift, a formula language, modeled upon that of arithmetic, for pure thought (1879), by G. Frege.
Some metamathematical results on completeness and consistency; On formally undecidable propositions of Principia mathematica and related systems I; and On completeness and consistency (1930b, 1931, and 1931a), by K. Gödel.
Bibliography (p. [111]-116)
Edition Notes
"These texts, in English translation, originally appeared in From Frege to Gödel: a source book in mathematical logic, 1879-1931."
Classifications
The Physical Object
ID Numbers
Source records
Community Reviews (0)
Feedback?November 9, 2021 | Edited by ImportBot | import existing book |
August 18, 2020 | Edited by ImportBot | import existing book |
March 29, 2019 | Edited by ImportBot | import existing book |
December 5, 2010 | Edited by Open Library Bot | Added subjects from MARC records. |
December 10, 2009 | Created by WorkBot | add works page |