Metamathematics, machines and Godel's proof.

Bibliografiset tiedot
Päätekijä: Shankar, N
Aineistotyyppi: Printed Book
Kieli:English
Julkaistu: Cambridge: Cambridge University Press, 1994.
Aiheet:
Godel;s theorem.
Kuvaus
Ulkoasu:xv, 202p.

Samankaltaisia teoksia