Frege and Gödel; two fundamental texts in mathematical logic/ Jean Van Heijenoort.

Contributor(s):

Language: engger Publication details: Cambridge, Mass.: Harvard University Press, 1970.Description: 116 p.: illus., 26 cmISBN:

0674318447

Contained works:

Van Heijenoort, Jean, 1912-

Subject(s):

DDC classification:

511.3 F858

Contents:

Tags from this library: No tags from this library for this title. Log in to add tags.

Average rating: 0.0 (0 votes)

Holdings
Item type	Current library	Collection	Call number	Copy number	Status	Date due	Barcode
Books	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.

to post a comment.