このページのリンク

利用統計

  • このページへのアクセス:45回

  • 貸出数:33回
    (1年以内の貸出数:4回)

<図書>
数理論理学
スウリ ロンリガク

責任表示 鹿島亮著
シリーズ 現代基礎数学 / 新井仁之 [ほか] 編 ; 15
データ種別 図書
出版者 東京 : 朝倉書店
出版年 2009.10
本文言語 日本語
大きさ v, 210p : 挿図 ; 21cm
目次 証明を対象にするとは
自然演繹
論理式の真理値
自然演繹の健全性
自然演繹の完全性
不完全性定理
命題論理
さまざまな証明体系
シークエント計算LKのカット除去
直観主義論理
クリプキモデルと中間論理
本文中で使われている数学的道具の説明
続きを見る

所蔵情報


中央図 自動書庫 058112009043582 410.96/Ka 76 2009

理系図1F 開架 058112009052426 410.96/Ka 76 2009

理系図3F 数理独自 023112009000778 KASH/5/1 2009

書誌詳細

一般注記 参考文献: p[205]-206
著者標目 鹿島, 亮 <カシマ, リョウ>
件 名 BSH:記号論理学
分 類 NDC8:410.96
NDC9:410.96
書誌ID 1001407597
ISBN 9784254117653
NCID BA91721370
巻冊次 ISBN:9784254117653 ; PRICE:3300円+税
登録日 2009.12.07
更新日 2010.03.19

類似資料

この資料を見た人はこんな資料も見ています

この資料を借りた人はこんな資料も借りています