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

هنوز رتبه‌بندی نشده است
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
به قفسه اضافه کنید

به این کتاب امتیاز دهید


صدور دفتر کتاب