Frege and Gödel; two fundamental texts in mathematical logic/ Jean Van Heijenoort.
Language: engger Publication details: Cambridge, Mass.: Harvard University Press, 1970.Description: 116 p.: illus., 26 cmISBN:- 0674318447
- Van Heijenoort, Jean, 1912-
- 511.3 F858
Item type | Current library | Collection | Call number | Copy number | Status | Date due | Barcode |
---|---|---|---|---|---|---|---|
![]() |
Castorina Estantes Abertas (Open Shelves) | Livros (Books) | 511.3 F858 1970 IMPA (Browse shelf(Opens below)) | 1 | Available | 39063000097645 |
"These texts, in English translation, originally appeared in From Frege to Gödel: a source book in mathematical logic, 1879-1931."
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)
There are no comments on this title.