Imagen Principal
1

Computability and Logic: A Comprehensive Guide by George S. Boolos

Imagen ampliada