数理論理学
著者
書誌事項
数理論理学
(コンピュータ数学シリーズ / 斎藤信男, 有澤誠, 筧捷彦編, 3)
コロナ社, 1989.12
- タイトル別名
-
Mathematical logic
- タイトル読み
-
スウリ ロンリガク
大学図書館所蔵 件 / 全198件
-
410.96||H48000056119,
410.96||H48000155382, 410.96||H48000155390, 410.96||H48000155408, 410.96||H4800005611, 410.96||H4800015538, 410.96||H4800015540, 410.96||H4800015539 -
該当する所蔵館はありません
- すべての絞り込み条件を解除する
この図書・雑誌をさがす
注記
参考文献: p[172]-173
索引: 巻末
内容説明・目次
目次
- 推論の形式化—自然演繹
- 形式的言語の意味論と推論法則の妥当性
- 証明の標準化
- sequent calculus
- 分解原理
- Curry‐Howardの対応
「BOOKデータベース」 より