瀏覽紀錄

TOP
2筆商品,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個工作天)

2.Logische Propadeutik:Vorschule des vernunftigen Redens

作者:Kamlah; Wilhelm;Lorenzen; Paul  出版社:J.B. Metzler  出版日:1996/06/10 裝訂:平裝

定價:1259元   優惠價: 91133

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