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

Brak ocen
2018 · Angielski · Miękka okładka
Dodaj do półki

Oceń tę książkę


Eksportuj Dziennik Książki

Recenzje

Nie ma jeszcze recenzji

Bądź pierwszy, aby zrecenzować tę książkę i podziel się swoimi przemyśleniami

Zaloguj się, aby recenzować
Dodaj do półki

Oceń tę książkę


Eksportuj Dziennik Książki