Publicaciones de HEIJENOORT, Jean van

El desarrollo de la teoría de la cuantificación

Este cuaderno fue compuesto a raíz de una serie de conferencias dictadas por el autor en el Instituto de Investigaciones Filosóficas de la UNAM en 1973, y contiene lo esencial de ellas. Su propósito es exponer cuáles son las relaciones históricas y teóricas entre los diferentes modelos que se aplican a la teoría de la cuantificación que nació en 1879 con la publicación de Begriffsschrift de Frege. Trata sobre el método axiomático, el teorema de Jacques Herbrand de 1929, el sistema de Gentzen (1934) y los sistemas de deducción natural.

Editorial:Instituto de Investigaciones Filosóficas
Colección:Cuadernos Temas:Lógica Edición:1ª edición, México, 1976