An Introduction to Mathematical Logic and Type Theory

An Introduction to Mathematical Logic and Type Theory
افزودن به بوکمارک اشتراک گذاری 0 دیدگاه کاربران 4 (1)

To Truth Through Proof

مشارکت: عنوان و توضیح کوتاه هر کتاب را ترجمه کنید این ترجمه بعد از تایید با نام شما در سایت نمایش داده خواهد شد.
iran گزارش تخلف

فرمت کتاب

ebook

زبان

english

تاریخ انتشار

1986

نویسنده

Peter B. Andrews

ناشر

Academic Press

شابک

9780120585366

کتاب های مرتبط

  • اطلاعات
  • دیدگاه کاربران
برای مطالعه توضیحات وارد حساب کاربری خود شوید

دیدگاه کاربران

دیدگاه خود را بنویسید
|