Decision Procedures for Elementary Sublanguages of Set Theory (X: Multilevel Syllogistic Extended by the Singleton and Powerset Operators)
No ratings yet
2011
·
English
·
Paperback