Resultado de búsqueda
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.
Frege and Godel: Two Fundamental Texts in Mathematical Logic : Van, Heijenoort Jean: Amazon.com.mx: Libros
15 de ene. de 2002 · The emergence of two new fields, set theory and foundations of mathematics, on the borders of logic, mathematics, and philosophy, is depicted by the texts that follow. Peano and Dedekind illustrate the trend that led to Principia Mathematica.
Frege and Gödel: Two Fundamental Texts in Mathematical Logic: Authors: Kurt Gödel, Gottlob Frege: Editor: Jean Van Heijenoort: Publisher: UMI, 1993 : Export Citation: BiBTeX EndNote RefMan
1 de nov. de 1999 · This volume, a shortened edition of Mr. van Heijenoort's internationally acclaimed From Frege to Gödel: A Source Book in Mathematical Logic, 1879-1931 (HUP 1967), makes available in English the two most important works in the growth of modern mathematical logic.
- (1)
- 1970
- Jean van Heijenoort
- Heijenoort Jean Van
Original conservado en la Biblioteca del Campus de Móstoles de la Universidad Rey Juan Carlos (sign. 510.6 FRE AND).
Frege and Gödel: Two Fundamental Texts in Mathematical Logic : Heijenoort, Jean van: Amazon.es: Libros
