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

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

Saved in:

Bibliographic Details
Main Author:	Van Heijenoort, Jean, 1912- (comp.)
Other Authors:	Gödel, Kurt, 1906-1978, Frege, Gottlob, 1848-1925
Format:	Book
Language:	English German
Published:	Cambridge, Mass. : Harvard University Press, 1970.
Subjects:	Logic, Symbolic and mathematical. Mathematics > Philosophy. Mathematical logic > Early works, 1879-1931

Table of 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)