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
Nog geen beoordelingen
2018 · Engels · Paperback
Toevoegen aan Plank

Beoordeel dit boek

Boekjournaal exporteren

Beschrijving

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.

Boekdetails

Formaat Paperback
Pagina's 17 pagina's
Taal Engels
Gepubliceerd Aug 24, 2018
Uitgever Forgotten Books
ISBN-10 1334016194
ISBN-13 9781334016196
Toevoegen aan Plank

Beoordeel dit boek

Boekjournaal exporteren