کتابخانه دیجیتال دانشگاه هنر اصفهان

اشتراک گذاری

اشتراک گذاری در صفحات اجتماعی‌
ارسال به ایمیل‌
آدرس صفحه‌
http://93.126.25.7:5001/index-proof-logic-and-formalization
نمایش به صورت متنی نمایش به صورت گراف
Proof, logic, and formalization
همکار
Detlefsen, Michael, 1948-
نام
Proof, logic, and formalization
زبان اثر
En
درباره (موضوع)
Proof theory. ،
Logic, Symbolic and mathematical.
شابک
0415023351
شرح پدیدآور
edited by Michael Detlefsen.
محل تولید محتوا (نشر)
London; New York
ناشر
Routledge,
مشاهده شیء/اثر
متن ارجاع

متن ارجاع
کتابخانه دیجیتال دانشگاه هنر اصفهان

توضیحات

دسترسی سریع

دوستان کتابخانه

وبسایت

کاربر

ما در شبکه های اجتماعی دنبال کنید