گودل 96: مبانی منطقی ریاضیات، علوم کامپیوتر و فیزیک - میراث کورت گودل. برنو، جمهوری چک، آگوست 1996، مجموعه مقالات
Gödel '96: Logical Foundations of Mathematics, Computer Science and Physics - Kurt Gödel's Legacy. Brno, Czech Republic, August 1996, Proceedings
نویسنده: Petr Hajek
ناشر: Springer
سال انتشار: 1996
تعداد صفحات: 336
زبان: English
فرمت: pdf - قابل تبدیل به سایر فرمت ها
حجم فایل: 32 مگابایت