Teoría de la prueba: una introducción
1998·no ficcion
Este texto ofrece una introducción exhaustiva a la teoría de la prueba moderna, cubriendo sistemas de deducción formal, teoremas de incompletitud y análisis ordinal, con un énfasis en los aspectos computacionales.















