数理論理学
Author(s)
Bibliographic Information
数理論理学
(コンピュータ数学シリーズ / 斎藤信男, 有澤誠, 筧捷彦編, 3)
コロナ社, 1989.12
- Other Title
-
Mathematical logic
- Title Transcription
-
スウリ ロンリガク
Available at / 198 libraries
-
Kochi University of Technology.Library
410.96||H48000056119,
410.96||H48000155382, 410.96||H48000155390, 410.96||H48000155408, 410.96||H4800005611, 410.96||H4800015538, 410.96||H4800015540, 410.96||H4800015539 -
Hokkaido University, Library, Graduate School of Science, Faculty of Science and School of Science図書
dc20:511.3/hay2070272033
-
No Libraries matched.
- Remove all filters.
Search this Book/Journal
Note
参考文献: p[172]-173
索引: 巻末
Description and Table of Contents
Table of Contents
- 推論の形式化—自然演繹
- 形式的言語の意味論と推論法則の妥当性
- 証明の標準化
- sequent calculus
- 分解原理
- Curry‐Howardの対応
by "BOOK database"