Recursive Functions and Metamathematics: Problems of Completeness and Decidability, Gödel’s Theorems Book Discussion
Recursive Functions and Metamathematics: Problems of Completeness and Decidability, Gödel’s Theorems (Synthese Library, 286)
by
Recursive Functions and Metamathematics: Problems of Completeness and Decidability, Gödel’s Theorems (Synthese Library, 286)