An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof
2002·no ficcion
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.