نمایش سایدبار
نمایش 12 24 36 همه
DJVU

دانلود کتاب Collected works. Publications 1938-1974

49,000 تومان
آثار جمع آوری شده. انتشارات 1938-1974
موضوع اصلی منطق
نوع کالا کتاب الکترونیکی
ناشر Clarendon Press; Oxford University Press
تعداد صفحه 426
حجم فایل 3 مگابایت
کد کتاب 9780195039726,0195039726,0195039645,0195072553,0198500734,0198500750
افزودن به سبد خرید
DJVU

دانلود کتاب Iterated Inductive Definitions and Subsystems of Analysis

49,000 تومان
تعاریف استقرایی تکرار شده و زیر سیستم های تحلیل
موضوع اصلی تحلیل و بررسی
نوع کالا کتاب الکترونیکی
ناشر Springer
تعداد صفحه 388
حجم فایل 2 مگابایت
کد کتاب 9783540111702,3540111700
نوبت چاپ 1
افزودن به سبد خرید
DJVU

دانلود کتاب Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies

49,000 تومان
تعاریف استقرایی تکرار شده و زیر سیستم های تحلیل: مطالعات اثباتی-نظری اخیر
موضوع اصلی تحلیل و بررسی
نوع کالا کتاب الکترونیکی
ناشر Springer
تعداد صفحه 388
حجم فایل 3 مگابایت
کد کتاب 9783540111702,3540111700
نوبت چاپ 1
افزودن به سبد خرید
PDF

دانلود کتاب Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies

49,000 تومان
تعاریف استقرایی تکرار شده و زیر سیستم های تحلیل: مطالعات اثباتی-نظری اخیر
موضوع اصلی تحصیلات
نوع کالا کتاب الکترونیکی
ناشر Springer
تعداد صفحه 383
حجم فایل 12 مگابایت
کد کتاب 3540111700,9783540111702
نوبت چاپ 1
افزودن به سبد خرید
PDF

دانلود کتاب Model-Theoretic Logics

49,000 تومان
مدل- منطق های نظری
موضوع اصلی منطق
نوع کالا کتاب الکترونیکی
ناشر Springer
تعداد صفحه 916
حجم فایل 77 مگابایت
کد کتاب 9780387909363,9783540909361,0387909362,3540909362
نوبت چاپ 1
افزودن به سبد خرید