数理論理学原論 : 近代ポーランド論理学の原典
Author(s)
Bibliographic Information
数理論理学原論 : 近代ポーランド論理学の原典
文化書房博文社, 1992.4
- Other Title
-
Elementy logiki matematycznej
- Title Transcription
-
スウリ ロンリガク ゲンロン : キンダイ ポーランド ロンリガク ノ ゲンテン
Access to Electronic Resource 1 items
-
Limited
Available at / 61 libraries
-
No Libraries matched.
- Remove all filters.
Search this Book/Journal
Note
原著1929年刊の翻訳
Description and Table of Contents
Table of Contents
- １ 序論（数理論理学の方向。数理論理学と哲学的論理学；定理と推論規則。命題論理と名辞論理）
- ２ 演繹理論（原始術語と演繹理論の公理；演繹理論の定義と推論規則；演繹理論の定理）
- ３ 演繹理論の方法論から（演繹理論の無矛盾性と独立性。多値論理学について；演繹理論の完全性）
- ４ 量記号付きの演繹理論について（量記号について。推論規則。テーゼ）
- ５ アリストテレス三段論法の理論（公理。定理。推論規則；アリストテレス推論式のテーゼ）
- 付録（自然科学における推論について）
by "BOOK database"
