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)

Nog geen beoordelingen
2011 · Engels · Paperback
Toevoegen aan Plank

Beoordeel dit boek


Boekjournaal exporteren

Recensies

Nog geen recensies

Wees de eerste om dit boek te recenseren en deel je gedachten

Inloggen om te Beoordelen
Toevoegen aan Plank

Beoordeel dit boek


Boekjournaal exporteren