Metamathematics, Machines and Gödel's Proof Cambridge Tracts in Theoretical Computer Science, nr. 38 Autor N. Shankar 29 ian 1997 Paperback Preț: 365.48 lei 6-8 săpt.