Decision Procedures for Elementary Sublanguages of Set Theory (X: Multilevel Syllogistic Extended by the Singleton and Powerset Operators)
还没有评分
2011
·
英语
·
平装书