Bounded Variable Logics and Counting: A Study in Finite Models
아직 평점이 없습니다
Jan 28, 1997
·
영어
·
페이퍼백
(187 페이지)