Jean van Heijenoort

Una exhaustiva antología de textos fundamentales de lógica matemática, cubriendo el período crucial entre la publicación de la Conceptografía de Frege y el Teorema de Incompletitud de Gödel, con traducciones y comentarios detallados.

Este libro ofrece una colección de textos originales de los principales matemáticos y lógicos que moldearon el campo de la lógica matemática desde el siglo XIX hasta mediados del XX, con anotaciones que explican su relevancia histórica y conceptual.

Esta influyente antología reúne textos fundamentales de la lógica matemática desde Frege hasta Gödel, mostrando la evolución de los conceptos clave y los debates centrales en el establecimiento de la disciplina.

Una colección de ensayos históricos y análisis del programa de Hilbert para los fundamentos de las matemáticas, junto con la correspondencia y los textos originales de los principales lógicos de la época.

Una colección seminal de textos fundacionales en lógica matemática moderna, incluyendo obras de Frege, Russell, Zermelo, Skolem y Gödel, con extensos comentarios y análisis históricos del editor.

Un estudio histórico y crítico sobre cómo el concepto de 'concepto' ha sido tratado y formalizado en la lógica matemática, desde los inicios de la lógica moderna hasta mediados del siglo XX.

Una colección fundamental de textos históricos y comentarios sobre el desarrollo de la lógica matemática desde Frege hasta Gödel y post-Gödel.

Antología y análisis de textos fundamentales de la historia de la lógica y los fundamentos de las matemáticas, mostrando la evolución desde Frege hasta el logicismo y el formalismo.

Aunque es una antología, esta obra recopila textos fundamentales en la historia de la lógica matemática, presentándolos en su contexto histórico y conceptual.

Un estudio histórico y filosófico sobre el desarrollo de la lógica matemática desde Frege hasta Gödel, analizando cómo evolucionaron las nociones fundamentales y los sistemas formales.

Una colección fundamental de ensayos y textos históricos sobre el teorema de incompletitud de Gödel, incluyendo los trabajos originales de Gödel traducidos, contextualizados y analizados.

Una colección seminal de traducciones de textos fundacionales en la historia de la lógica matemática desde Frege hasta Gödel, con comentarios históricos.

Una colección histórica de textos seminales en lógica matemática, traducidos por primera vez, que traza el desarrollo de la disciplina desde Frege hasta Gödel, ofreciendo una visión integral de sus inicios y evoluciones tempranas.

Una colección seminal de textos históricos fundamentales para la lógica matemática desde Frege hasta Gödel, traducidos y comentados, mostrando el desarrollo de las ideas que sustentan el formalismo moderno.

Este libro recopila documentos clave en el desarrollo de la lógica matemática entre 1879 y 1931, incluyendo trabajos de figuras como Frege, Russell y Gödel, que establecieron las bases de la lógica moderna.