Matches in Library of Congress for { <http://lccn.loc.gov/71116736> ?p ?o. }
Showing items 1 to 21 of
21
with 100 items per page.
- 71116736 contributor B2025862.
- 71116736 contributor B2025863.
- 71116736 created "1970.".
- 71116736 date "1970".
- 71116736 date "1970.".
- 71116736 dateCopyrighted "1970.".
- 71116736 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)".
- 71116736 extent "116 p.".
- 71116736 identifier "0674318447".
- 71116736 issued "1970".
- 71116736 issued "1970.".
- 71116736 language "eng".
- 71116736 language "engger".
- 71116736 publisher "Cambridge, Mass., Harvard University Press,".
- 71116736 subject "164".
- 71116736 subject "Logic, Symbolic and mathematical.".
- 71116736 subject "Mathematics Philosophy.".
- 71116736 subject "QA9 .V28".
- 71116736 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)".
- 71116736 title "Frege and Gödel; two fundamental texts in mathematical logic.".
- 71116736 type "text".