Decidable Theories

Decidable Theories
افزودن به بوکمارک اشتراک گذاری 0 دیدگاه کاربران 4 (1)

Vol. 1: Buchis Monadic Second Order Successor Arithmetic

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

فرمت کتاب

ebook

زبان

english

تاریخ انتشار

1970

نویسنده

Dirk Siefkes

ناشر

Springer

شابک

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

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

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