yoleo
Catálogo

Catálogo

44.789 obras en el archivo

Mostrando 2 de 2 obras en “demostracion”

Portada de An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof

An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof

Peter B. Andrews

no ficcion
Portada de Principios de sistemas formales

Principios de sistemas formales

Raymond Smullyan

no ficcion
yoleo