Tableau Systems for First Order Number Theory and Certain Higher Order Theories
Tableau Systems for First Order Number Theory and Certain Higher Order Theories
افزودن به بوکمارک
اشتراک گذاری
0 دیدگاه کاربران
5
(0)
مشارکت: عنوان و توضیح کوتاه هر کتاب را ترجمه کنید
این ترجمه بعد از تایید با نام شما در سایت نمایش داده خواهد شد.
گزارش تخلف
فرمت کتاب
ebook
زبان
english
تاریخ انتشار
1975
نویسنده
S. a. Toledoنویسنده
S. a. Toledoناشر
Springerناشر
Springerشابک
9783540071495
- اطلاعات
- دیدگاه کاربران
برای مطالعه توضیحات وارد حساب کاربری خود شوید
دیدگاه کاربران