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