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
Inga betyg ännu
2018 · Engelska · Pocketbok
Lägg till på hyllan

Betygsätt denna bok

Exportera bokjournal

Beskrivning

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.

Bokdetaljer

Format Pocketbok
Sidor 17 sidor
Språk Engelska
Publicerad Aug 24, 2018
Förlag Forgotten Books
ISBN-10 1334016194
ISBN-13 9781334016196
Lägg till på hyllan

Betygsätt denna bok

Exportera bokjournal