Imagen Principal
1 2

Recursive Functions and Metamathematics: Completeness and Decidability in Gödel’s Theorems (Synthese Library, Volume 286)

Imagen ampliada