TOP
0
0
【13悅讀日】4/13~4/17 消費滿699送100元E-coupon

三民網路書店 杜威圖書分類法 / Philosophy and Psycholog / Deduction

1筆商品,1/1頁
Natural Deduction ─ A Proof-theoretical Study
滿額折

1.Natural Deduction ─ A Proof-theoretical Study

作者: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 元, 優惠價:9 345
無庫存,下單後進貨(到貨天數約30-45天)

暢銷榜

客服中心

收藏

會員專區