Matches in Harvard for { <http://id.lib.harvard.edu/aleph/001080432/catalog> ?p ?o. }
Showing items 1 to 27 of
27
with 100 items per page.
- catalog contributor b1227887.
- catalog contributor b1227888.
- catalog contributor b1227889.
- catalog contributor b1227890.
- catalog contributor b1227891.
- catalog created "1970.".
- catalog date "1970".
- catalog date "1970.".
- catalog dateCopyrighted "1970.".
- catalog description "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)".
- catalog extent "116 p.".
- catalog hasFormat "Frege and Gödel.".
- catalog identifier "0674318447".
- catalog isFormatOf "Frege and Gödel.".
- catalog issued "1970".
- catalog issued "1970.".
- catalog language "eng ger".
- catalog language "eng".
- catalog publisher "Cambridge, Mass., Harvard University Press,".
- catalog relation "Frege and Gödel.".
- catalog subject "164".
- catalog subject "Logic, Symbolic and mathematical.".
- catalog subject "Mathematics Philosophy.".
- catalog subject "QA9 .V28".
- catalog tableOfContents "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)".
- catalog title "Frege and Gödel; two fundamental texts in mathematical logic.".
- catalog type "text".