Decision Procedures for Elementary Sublanguages of Set Theory (X: Multilevel Syllogistic Extended by the Singleton and Powerset Operators)

Decision Procedures for Elementary Sublanguages of Set Theory (X: Multilevel Syllogistic Extended by the Singleton and Powerset Operators)

Inga betyg ännu
2011 · Engelska · Pocketbok
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