Yoihon 良書網 訂購日本雜誌, 圖書, eMook, 動漫, 寫真集, 年曆。歡迎 whatsapp 9411 6767 查詢。
圖片只供參考
產品查詢
圖書
証明を対象にするとは自然演繹論理式の真理値自然演繹の健全性自然演繹の完全性不完全性定理命題論理さまざまな証明体系シークエント計算LKのカット除去直観主義論理クリプキモデルと中間論理本文中で使われている数学的道具の説明
数理論理学の基本結果をわかりやすく正確に説明しながら,その意義や気持ちを伝える入門書。