تفسیر ریاضی سیستم های رسمی
Mathematical Interpretation of Formal Systems
نویسنده: Th. Skolem, G. Hasenjaeger, G. Kreisel, A. Robinson, Hao Wang, L. Henkin and J. ЕЃoЕ› (Eds.)
ناشر: Elsevier Science
سال انتشار: 1955
تعداد صفحات: iv-vi, 1-113 [116]
زبان: English
فرمت: pdf - قابل تبدیل به سایر فرمت ها
حجم فایل: 2 مگابایت