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
Brak ocen
2018 · Angielski · Miękka okładka
Dodaj do półki

Oceń tę książkę

Eksportuj Dziennik Książki

Opis

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.

Szczegóły książki

Format Miękka okładka
Strony 17 stron
Język Angielski
Opublikowany Aug 24, 2018
Wydawca Forgotten Books
ISBN-10 1334016194
ISBN-13 9781334016196
Dodaj do półki

Oceń tę książkę

Eksportuj Dziennik Książki