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

دانلود کتاب Decidable Theories II

49,000 تومان
نظریه های تصمیم پذیر II
موضوع اصلی سخنرانی ها
نوع کالا کتاب الکترونیکی
ناشر Springer
تعداد صفحه 222
حجم فایل 1 مگابایت
کد کتاب 9783540063452,3540063455
نوبت چاپ 1
افزودن به سبد خرید
DJVU

دانلود کتاب Higher set theory. Proceedings, Oberwolfach, Germany, 1977

49,000 تومان
نظریه مجموعه های عالی مجموعه مقالات، اوبرولفاخ، آلمان، 1977
موضوع اصلی سخنرانی ها
نوع کالا کتاب الکترونیکی
ناشر Springer
تعداد صفحه 481
حجم فایل 4 مگابایت
کد کتاب 9783540089261,3540089268
نوبت چاپ 1
افزودن به سبد خرید
DJVU

دانلود کتاب ISILC Proof Theory Symposion. Dedicated to Kurt Schutte on the occasion of his 65th birthday, Kiel, 1974

49,000 تومان
همایش تئوری اثبات ISILC. تقدیم به کرت شوته به مناسبت تولد 65 سالگی او، کیل، 1974
موضوع اصلی سخنرانی ها
نوع کالا کتاب الکترونیکی
ناشر Springer
تعداد صفحه 390
حجم فایل 2 مگابایت
کد کتاب 354007533X,9783540075332
نوبت چاپ 1
افزودن به سبد خرید
DJVU

دانلود کتاب Logic Symposia, Hakone, 1979, 1980

49,000 تومان
سمپوزیوم منطق، هاکون، 1979، 1980
موضوع اصلی منطق
نوع کالا کتاب الکترونیکی
ناشر Springer
تعداد صفحه 398
حجم فایل 2 مگابایت
کد کتاب 3540111611,9783540111610
نوبت چاپ 1
افزودن به سبد خرید
PDF

دانلود کتاب Logic Symposia, Hakone, 1979, 1980 proceedings of conferences held in Hakone, Japan, March 21-24, 1979 and February 4-7, 1980

49,000 تومان
سمپوزیوم منطق، هاکون، 1979، 1980 مجموعه مقالات کنفرانس های برگزار شده در هاکون، ژاپن، 21-24 مارس 1979 و 4-7 فوریه 1980
موضوع اصلی کنفرانس ها و سمپوزیوم های بین المللی
نوع کالا کتاب الکترونیکی
ناشر Springer
تعداد صفحه 398
حجم فایل 9 مگابایت
کد کتاب 9783540111610,3540111611
نوبت چاپ 1
افزودن به سبد خرید