Frege and Gödel; two fundamental texts in mathematical logic.

By: Van Heijenoort, Jean, 1912- [comp.]Contributor(s): Gödel, KurtMaterial type: TextTextLanguage: engger Publication details: Cambridge, Mass., Harvard University Press, 1970Description: 116 p. illus. 26 cmISBN: 0674318447Contained works: Frege, Gottlob, 1848-1925. Begriffsschrift. English. 1970Subject(s): Logic, Symbolic and mathematical | Mathematics -- PhilosophyDDC classification: 164 LOC classification: QA9 | .F88 1970
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)
Tags from this library: No tags from this library for this title. Log in to add tags.
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Item type Current library Call number Status Date due Barcode Item holds
ATU Book ATU Book SCHOOL OF APPLIED SCIENCE & ENGINEERING LIBRARY - ACCRA TECHNICAL UNIVERSITY
General Stacks 		QA9 .F88 1970 (Browse shelf(Opens below)) Available 0000003085
Total holds: 0

"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.

© 2024. All Right Reserved. Property of Accra Technical University


^