現代数理論理学序説
Author(s)
Bibliographic Information
現代数理論理学序説
日本評論社, 2010.6
- Title Transcription
-
ゲンダイ スウリ ロンリガク ジョセツ
Available at / 130 libraries
-
No Libraries matched.
- Remove all filters.
Search this Book/Journal
Note
参考文献: p[171]
Description and Table of Contents
Description
論理とラムダ計算、部分構造論理、論理学への代数的アプローチなど、最新の話題を盛り込んだ新しい入門書。
Table of Contents
- 第１章 命題論理（論理学と形式的体系；命題論理の体系；ゲンツェンの基本定理；古典命題論理の意味論）
- 第２章 述語論理（述語論理の体系；ゲンツェンの基本定理；古典述語論理の意味論）
- 第３章 ラムダ計算の世界（ラムダ計算の計算能力；ラムダ項の型付けとη変形）
- 第４章 非標準論理（直観主義論理；論理と代数；様相論理；部分構造論理）
by "BOOK database"