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