Portada de Teoría de la prueba: una introducción

Teoría de la prueba: una introducción

por S. R. Buss · 1998

Ver sugerencias

Sinopsis

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.

Más de S. R. Buss

Ver autor →

Otras obras del mismo autor en el catálogo

Libros similares

Libros relacionados según distintos criterios de búsqueda

Descubre libros parecidos a este

Entra para ver las conexiones que yoleo encuentra con el resto del catálogo, y para guardar los que te interesen.

Ayúdame a que yoleo sea sostenible