estadounidense
Stephen Kleene fue un destacado matemático y pionero en el campo de la computación, famoso por sus contribuciones a la teoría de la computabilidad y por desarrollar el álgebra de Kleene. Su trabajo sentó las bases para el desarrollo de lenguajes de programación y la teoría de autómatas.
1952·filosofia
Este texto clásico explora los fundamentos de la lógica matemática, la teoría de la recursión y la computabilidad, sentando las bases teóricas de la computación y la programación tal como las conocemos.
1952
Este libro ofrece una introducción a la lógica matemática, cubriendo temas como la teoría de conjuntos, la teoría de modelos y la computación, proporcionando una base rigurosa en la lógica y su aplicación en matemáticas.
1971
Este libro introduce los conceptos fundamentales de la lógica matemática, incluyendo la teoría de conjuntos, los sistemas formales y la teoría de modelos, creando una base para estudios más avanzados en matemáticas y filosofía.
1980
1986
Este libro presenta una introducción a la lógica, el álgebra y la computabilidad, explorando sus fundamentos teóricos y su aplicación a la matemática y la informática.
Aparecen junto a Stephen Kleene en búsquedas del archivo
