-
1
Frege and Gödel : Two fundamental texts in mathematical logic /
Published 1980Table of Contents: “…--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. …”
Book -
2
-
3