Normal view MARC view ISBD view

Frege and Gödel : Two Fundamental Texts in Mathematical Logic / ed. by Jean van Heijenoort. - Reprint 2014 - 1 online resource (116 p.) : Zahlr. Abb.

Frontmatter -- Preface -- Contents -- Begriffsschrift, a formula language, modeled upon that of arithmetic, for pure thought -- Some metamathematical results on completeness and consistency, on formally undecidable propositions of principia mathematica and related systems i, and on completeness and consistency -- References -- Index

restricted access http://purl.org/coar/access_right/c_16ec


Mode of access: Internet via World Wide Web.


In English.

ISBN: 9780674864573 9780674864603

Standard No.: 10.4159/harvard.9780674864603 doi

Subjects--Topical Terms:
Logic, Symbolic and mathematical.
Logique symbolique et mathématique.
Logique symbolique et mathématique.
Mathematik.
Mathematische Logik.
Wiskundige logica.
Logic, Symbolic and mathematical.
Mathematics -- Philosophy.
MATHEMATICS / Logic.

LC Class. No.: QA9

Dewey Class. No.: 510/.01