Imagen Principal
1 2

Metamathematics of First-Order Arithmetic: Perspectives in Mathematical Logic by Pavel Pudlak and Petr Hajek

Imagen ampliada