Recursive Functions and Metamathematics: Problems of Completeness and Decidability, Gödel’s Theorems (Synthese Library Book 286) 1999th Edition
12.9 MiB
Download ready in 3s