Metamathematics, machines and Godel's proof.

מידע ביבליוגרפי
מחבר ראשי: Shankar, N
פורמט: Printed Book
שפה:English
יצא לאור: Cambridge: Cambridge University Press, 1994.
נושאים:
Godel;s theorem.
תיאור
תיאור פיזי:xv, 202p.

פריטים דומים