TOP
1筆商品,1/1頁

1.Natural Deduction

作者:Dag Prawitz  出版社:Dover Pubns  出版日:2006/02/24 裝訂:平裝

Prawitz's theories form the basis of intuitionistic type theory, and his inversion principle constitutes the foundation of most modern accounts of proof-theoretic semantics. The proof-theoretical syst

定價:383元   優惠價: 79303

無庫存,下單後進貨(採購期約45個工作天)