Bounded Variable Logics and Counting: A Study in Finite Models
尚無評分
Jan 28, 1997
·
英語
·
平裝書
(187 頁數)