Diagonalization and self-reference.

Bibliografski detalji
Glavni autor: Smullyan, Raymond M.
Format: Printed Book
Jezik:English
Izdano: Oxford ; Clarendon Press, 1996.
Teme:
Recursion theory.
Fixed point theory.
Fixed point theory.
Opis
Opis:xv, 396 p. : ill. ;

Similar Items