Proof Methods for Modal and Intuitionistic Logics
まだ評価がありません
Dec 25, 2010
·
英語
·
ペーパーバック
(563 ページ)