Decision Procedures for Elementary Sublanguages of Set Theory. V. Multilevel Syllogistic Extended by the General Union Operator
まだ評価がありません
2015
·
英語
·
ハードカバー