Diagonalization and self-reference.

Bibliografiska uppgifter
Huvudupphovsman: Smullyan, Raymond M.
Materialtyp: Printed Book
Språk:English
Publicerad: Oxford ; Clarendon Press, 1996.
Ämnen:
Recursion theory.
Fixed point theory.
Fixed point theory.
Beskrivning
Fysisk beskrivning:xv, 396 p. : ill. ;

Liknande verk