Decision Procedures for Elementary Sublanguages of Set Theory. V. Multilevel Syllogistic Extended by the General Union Operator
아직 평점이 없습니다
2015
·
영어
·
하드커버