Decision Procedures for Elementary Sublanguages of Set Theory. X. Multilevel Syllogistic Extended by the Singleton and Powerset Operators
No ratings yet
2015
·
English
·
Hardcover