Mendeley出力
＜図書＞
数理論理学 = Mathematical logic
スウリ ロンリガク
| 責任表示 | 戸次大介著 |
|---|---|
| データ種別 | 図書 |
| 出版情報 | 東京 : 東京大学出版会 , 2012.3 |
| 本文言語 | 日本語 |
| 大きさ | viii, 310p ; 21cm |
| 目次 | 第1部 一階論理の統語論と意味論(予備知識 論理学とは何か 一階命題論理:統語論と意味論 二進法とデジタル回路 一階述語論理:統語論と意味論 タブロー) 第2部 一階論理の証明論(ヒルベルト流証明論 自然演繹 シーケント計算序論 ゲンツェン流シーケント計算 カット除去定理 タブロー式シーケント計算 健全性と完全性)続きを見る |
所蔵情報
| 状態 | 巻次 | 所蔵場所 | 請求記号 | 刷年 | 文庫名称 | 資料番号 | コメント | 予約・取寄 | 複写申込 | 自動書庫 |
|---|---|---|---|---|---|---|---|---|---|---|
|
|
|
理系図1F 開架 | 410.96/B 32 | 2012 |
|
010112014002343 |
|
|||
|
|
|
理系図3F 数理独自 | BEKK/20/1 | 2012 |
|
033112012000080 |
|
|||
|
|
|
筑紫図 1C 400-449 | 410.96/B 32 | 2012 |
|
060112012000118 |
|
|||
|
|
|
文 哲学(研究室) | 410.96/B 32 | 2012 |
|
110012018096030 |
|
|||
|
|
|
文 言語(研究室) | 言語/5/299 | 2012 |
|
021112014006003 |
|
書誌詳細
| 一般注記 | 参考文献: p300-302 |
|---|---|
| 著者標目 | 戸次, 大介(1973-) <ベッキ, ダイスケ> |
| 件 名 | BSH:記号論理学 |
| 分 類 | NDC8:410.96 NDC9:410.96 |
| 書誌ID | 1001475096 |
| ISBN | 9784130629157 |
| NCID | BB08796072 |
| 巻冊次 | ISBN:9784130629157 ; PRICE:3000円+税 |
| 登録日 | 2012.04.17 |
| 更新日 | 2014.10.01 |