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

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

Wedi'i Gadw mewn:

Manylion Llyfryddiaeth
Prif Awdur:	Van Heijenoort, Jean, 1912- (comp.)
Awduron Eraill:	Gödel, Kurt, 1906-1978, Frege, Gottlob, 1848-1925
Fformat:	Llyfr
Iaith:	English German
Cyhoeddwyd:	Cambridge, Mass. : Harvard University Press, 1970.
Pynciau:	Logic, Symbolic and mathematical. Mathematics > Philosophy. Mathematical logic > Early works, 1879-1931

Tabl Cynhwysion:

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)