Decision Procedures for Elementary Sublanguages of Set Theory: XVI. Multilevel Syllogistic Extended by Singleton, Rank Comparison and Unary Intersection
아직 평점이 없습니다
2018
·
영어
·
페이퍼백