Decision Procedures for Elementary Sublanguages of Set Theory. VI. Multi-Level Syllogistic Extended by the Powerset Operator

Decision Procedures for Elementary Sublanguages of Set Theory. VI. Multi-Level Syllogistic Extended by the Powerset Operator

Inga betyg ännu
2015 · Engelska · Inbunden
Lägg till på hyllan

Betygsätt denna bok


Exportera bokjournal

Recensioner

Inga recensioner ännu

Bli den första att recensera denna bok och dela dina tankar

Logga in för att recensera
Lägg till på hyllan

Betygsätt denna bok


Exportera bokjournal