Recursion theory for metamathematics.

Bibliografiset tiedot
Päätekijä: Smullyan, Raymond M.
Aineistotyyppi: Printed Book
Kieli:English
Julkaistu: New York: Oxford University Press, 1993.
Aiheet:
Recursion theory.
Kuvaus
Ulkoasu:xiv, 163p.

Samankaltaisia teoksia