Decision Procedures for Elementary Sublanguages of Set Theory: XVI. Multilevel Syllogistic Extended by Singleton, Rank Comparison and Unary Intersection
No ratings yet
2018
·
English
·
Paperback