Diagonalization and self-reference.

מידע ביבליוגרפי
מחבר ראשי: Smullyan, Raymond M.
פורמט: Printed Book
שפה:English
יצא לאור: Oxford ; Clarendon Press, 1996.
נושאים:
Recursion theory.
Fixed point theory.
Fixed point theory.
תיאור
תיאור פיזי:xv, 396 p. : ill. ;

פריטים דומים