Decision Procedures for Elementary Sublanguages of Set Theory (X: Multilevel Syllogistic Extended by the Singleton and Powerset Operators)
まだ評価がありません
2011
·
英語
·
ペーパーバック