Recursion theory for metamathematics.

מידע ביבליוגרפי
מחבר ראשי: Smullyan, Raymond M.
פורמט: Printed Book
שפה:English
יצא לאור: New York: Oxford University Press, 1993.
נושאים:
Recursion theory.
תיאור
תיאור פיזי:xiv, 163p.

פריטים דומים