Stephen Cole Kleene

1952·no ficcion

Un texto clásico que cubre los fundamentos de la lógica matemática, la teoría de la computabilidad y los teoremas de incompletitud de Gödel, con un enfoque en la teoría recursiva.

1952·filosofia

Un texto seminal que establece las bases de la metamatemática, la teoría de la recursión y la teoría de la prueba, explorando los límites y propiedades de los sistemas formales, incluyendo los teoremas de incompletitud de Gödel.

1952

1952·no ficcion

Un texto clásico que establece los fundamentos de la lógica matemática y la metamatemática, incluyendo la teoría de funciones recursivas, indispensable para entender los límites de la computación.

1952

1952

Este libro ofrece una introducción completa a la lógica matemática, abarcando los principios fundamentales y los teoremas clave. Es un recurso valioso para estudiantes y profesionales interesados en la teoría de conjuntos, la lógica proposicional y la lógica de predicados.

1952

Este libro examina el papel de la lógica matemática en las ciencias naturales, explorando su aplicabilidad y fundamentos a través de diversas disciplinas científicas.

1952·ciencia ficcion

Un texto clásico que presenta las bases de la lógica matemática y la teoría de la recursión, con un énfasis en los aspectos constructivos y la teoría de funciones recursivas.

1952

1964

1967

1967

1967

1967

Este libro ofrece una introducción accesible a la lógica matemática, abarcando conceptos fundamentales como la teoría de conjuntos, la lógica proposicional y predicativa, así como los fundamentos de la computabilidad.

1967

1975

1977

1980

1994