Recursion theory for metamathematics.

Bibliografiska uppgifter
Huvudupphovsman: Smullyan, Raymond M.
Materialtyp: Printed Book
Språk:English
Publicerad: New York: Oxford University Press, 1993.
Ämnen:
Recursion theory.
Beskrivning
Fysisk beskrivning:xiv, 163p.

Liknande verk