تحميل...

Metamathematics, machines and Godel's proof.

التفاصيل البيبلوغرافية
المؤلف الرئيسي: Shankar, N
التنسيق: Printed Book
اللغة:English
منشور في: Cambridge: Cambridge University Press, 1994.
الموضوعات: