Decision Procedures for Elementary Sublanguages of Set Theory: XVI. Multilevel Syllogistic Extended by Singleton, Rank Comparison and Unary Intersection

Decision Procedures for Elementary Sublanguages of Set Theory: XVI. Multilevel Syllogistic Extended by Singleton, Rank Comparison and Unary Intersection

D. Cantone
لا توجد تقييمات بعد
2018 · الإنجليزية · غلاف ورقي
أضف إلى الرف

قيم هذا الكتاب

تصدير مجلة الكتاب

الوصف

Excerpt from Decision Procedures for Elementary Sublanguages of Set Theory

Remark Throughout this paper we will freely identify variables y, and places 1r, with their indices 8 and i, respectively.

تفاصيل الكتاب

تنسيق غلاف ورقي
صفحات 17 صفحات
لغة الإنجليزية
منشور Aug 24, 2018
الناشر Forgotten Books
رقم ISBN-10 1334016194
رقم ISBN-13 9781334016196
أضف إلى الرف

قيم هذا الكتاب

تصدير مجلة الكتاب