Bounded Variable Logics and Counting: A Study in Finite Models
まだ評価がありません
Jan 28, 1997
·
英語
·
ペーパーバック
(187 ページ)