دانلود کتاب Basic Proof Theory

49,000 تومان
نظریه اثبات پایه
موضوع اصلی کامپیوتر - علوم کامپیوتر
نوع کالا کتاب الکترونیکی
ناشر Cambridge University Press
تعداد صفحه 430
حجم فایل 6.14 مگابایت
کد کتاب 0521779111 , 9780521779111
نوبت چاپ و

دانلود کتاب Basic Proof Theory

49,000 تومان
نظریه اثبات پایه
موضوع اصلی ریاضیات گسسته
نوع کالا کتاب الکترونیکی
ناشر Cambridge University Press
تعداد صفحه 353
حجم فایل 5 مگابایت
کد کتاب 9780521572231,0521572231
نوبت چاپ اول

دانلود کتاب Basic Proof Theory

49,000 تومان
نظریه اثبات پایه
موضوع اصلی منطق
نوع کالا کتاب الکترونیکی
ناشر Cambridge University Press
تعداد صفحه 178
حجم فایل 25 مگابایت
کد کتاب 0521572231,9780521572231

دانلود کتاب Basic Proof Theory

49,000 تومان
نظریه اثبات پایه
موضوع اصلی منطق
نوع کالا کتاب الکترونیکی
ناشر CUP
تعداد صفحه 357
حجم فایل 3 مگابایت
کد کتاب 9780521572231,0521572231
نوبت چاپ اول

دانلود کتاب Constructivism in Mathematics: An Introduction

49,000 تومان
ساخت گرایی در ریاضیات: مقدمه
موضوع اصلی ریاضیات
نوع کالا کتاب الکترونیکی
ناشر Elsevier Science
تعداد صفحه 394
حجم فایل 35 مگابایت
کد کتاب 9780444702661,9780444705068,0444702660,0444705066

دانلود کتاب Lectures on Linear Logic

49,000 تومان
سخنرانی در مورد منطق خطی
موضوع اصلی منطق
نوع کالا کتاب الکترونیکی
ناشر CSLI Publications
تعداد صفحه 215
حجم فایل 13 مگابایت
کد کتاب 0937073784,9780937073780
نوبت چاپ 1