دانلود کتاب Goedel ’96: Proc. Brno 1996 (به فارسی: Goedel ’96: Proc. برنو 1996) نوشته شده توسط «Petr Hajek»
اطلاعات کتاب Goedel ’96: Proc. برنو 1996
موضوع اصلی: منطق
نوع: کتاب الکترونیکی
ناشر: Springer
نویسنده: Petr Hajek
زبان: English
فرمت کتاب: djvu (قابل تبدیل به سایر فرمت ها)
سال انتشار: 1996
تعداد صفحه: 336
حجم کتاب: 3 مگابایت
کد کتاب: 9783540614340 , 3540614346
نوبت چاپ: 1
توضیحات کتاب Goedel ’96: Proc. برنو 1996
مقالات موجود در این مجموعه مقالات کنفرانس جشن نودمین سالگرد تولد کورت گودل، با منطق ریاضی، فلسفه ریاضیات و علوم کامپیوتر مرتبط است. موضوعات مربوط به آثار گودل است و تأثیر او را در این زمینه نشان می دهد.
The papers included in this proceedings volume of the conference celebrating the 90th anniversary of the birth of Kurt Goedel, are concerned with mathematical logic, philosophy of mathematics, and computer science. The topics are related to Goedel’s work and reflect his influence in the field.
دانلود کتاب «Goedel ’96: Proc. برنو 1996»
