Natural Deduction
Natural Deduction
  • ISBN13:9780486446554
  • 出版社:Dover Pubns
  • 作者:Dag Prawitz
  • 裝訂/頁數:平裝/113頁
  • 規格:21.6cm*14.0cm*0.6cm (高/寬/厚)
  • 出版日:2006/02/24
  • 定  價:NT$383元
  • 優惠價: 79303
  • 可得紅利積點:9 點
  • 庫存: 無庫存,下單後進貨(採購期約45個工作天)
  • 加入購物車
分享:
商品介紹
  • 商品簡介
  • 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 system represents a simpler and more illuminating method than alternative approaches, and this volume offers a succinct, coherent illustration of its applications to natural deduction. 1965 edition.
    本週66折

      • 創意水彩-畫藝百科系列
      • 優惠價:165元
      • 我有預感,明日陽光燦爛(簡體書)
      • 優惠價:139元
      • 雪梨‧烏魯魯(艾爾斯岩)
      • 優惠價:211元
      • 大業風雲:隋唐之際的英雄們
      • 優惠價:297元
      • 海客述奇:中國人眼中的維多利亞科學
      • 優惠價:92元
      • 心理學辭典
      • 優惠價:495元
      • 誰在搞飛機:黑五機長瘋狂詹姆士的苦勞奴記
      • 優惠價:211元
      • 圖解NLP擺脫大腦控制,改變心態立刻行動!
      • 優惠價:185元
      • 抗暖化,我也可以:氣候變遷與永續發展
      • 優惠價:251元
      • 跟誰聊天都盡興:不失言、不失禮、不失落的魅力說話術
      • 優惠價:158元

    推薦書展
    公司簡介服務條款隱私權政策異業合作人才招募圖書館採購/編目三民禮券兌換處好站連結三民‧東大‧弘雅目錄古籍‧古典目錄