瀏覽紀錄

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個工作天)