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

دانلود کتاب First-Order Logic and Automated Theorem Proving

49,000 تومان
منطق مرتبه اول و اثبات قضیه خودکار
موضوع اصلی منطق
نوع کالا کتاب الکترونیکی
ناشر Springer
تعداد صفحه 262
حجم فایل 2 مگابایت
کد کتاب 9783540972334,3540972331
نوبت چاپ اول
افزودن به سبد خرید
PDF

دانلود کتاب Intuitionistic logic model theory and forcing

49,000 تومان
نظریه مدل منطق شهودی و اجبار
موضوع اصلی منطق
نوع کالا کتاب الکترونیکی
ناشر North-Holland Pub.
تعداد صفحه 183
حجم فایل 4 مگابایت
افزودن به سبد خرید
DJVU

دانلود کتاب Intuitionistic logic, model theory and forcing

49,000 تومان
منطق شهودی، نظریه مدل و اجبار
موضوع اصلی منطق
نوع کالا کتاب الکترونیکی
ناشر North-Holland Pub. Co
تعداد صفحه 177
حجم فایل 927 کیلوبایت
کد کتاب 0720422566,9780720422566
نوبت چاپ اول
افزودن به سبد خرید
DJVU

دانلود کتاب Intuitionistic logic, model theory and forcing

49,000 تومان
منطق شهودی، نظریه مدل و اجبار
موضوع اصلی منطق
نوع کالا کتاب الکترونیکی
ناشر North-Holland Pub. Co
تعداد صفحه 177
حجم فایل 2 مگابایت
کد کتاب 9780720422566,0720422566
نوبت چاپ اول
افزودن به سبد خرید
PDF

دانلود کتاب Intuitionistic Logic, Model Theory and Forcing

49,000 تومان
منطق شهودی، نظریه مدل و اجبار
موضوع اصلی منطق
نوع کالا کتاب الکترونیکی
ناشر Elsevier, Academic Press
تعداد صفحه 191
حجم فایل 6 مگابایت
کد کتاب 0720422566,9780720422566
نوبت چاپ اول
افزودن به سبد خرید
DJVU

دانلود کتاب Set theory and the continuum problem

49,000 تومان
نظریه مجموعه ها و مسئله پیوستگی
موضوع اصلی تحلیل و بررسی
نوع کالا کتاب الکترونیکی
ناشر Oxford University Press, USA
تعداد صفحه 305
حجم فایل 3 مگابایت
کد کتاب 9780198523956,0198523955
افزودن به سبد خرید
DJVU

دانلود کتاب Set theory and the continuum problem

49,000 تومان
نظریه مجموعه ها و مسئله پیوستگی
موضوع اصلی ریاضیات
نوع کالا کتاب الکترونیکی
ناشر Clarendon Press; Oxford University Press
تعداد صفحه 302
حجم فایل 2 مگابایت
کد کتاب 9780198523956,0198523955
افزودن به سبد خرید