An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof
por Peter B. Andrews · 2002
Sinopsis
Un texto de lógica matemática que cubre la lógica de primer orden y la teoría de tipos, con énfasis en el teorema de completitud de Gödel y la resolución de teoremas.
Sé el primero en valorar este libro.
Libros similares
Libros relacionados según distintos criterios de búsqueda