Decision Procedures for Elementary Sublanguages of Set Theory. VI. Multi-Level Syllogistic Extended by the Powerset Operator
まだ評価がありません
2015
·
英語
·
ハードカバー