論理学は数学の役に立つか? : 新しい論理学の構築
Author(s)
Bibliographic Information
論理学は数学の役に立つか? : 新しい論理学の構築
遊星社 , 星雲社 (発売), 2006.10
- Title Transcription
-
ロンリガク ワ スウガク ノ ヤク ニ タツカ : アタラシイ ロンリガク ノ コウチク
Available at / 44 libraries
-
University of Tsukuba Library, Library on Library and Information Science
410.96-Mo8310006012408
-
No Libraries matched.
- Remove all filters.
Search this Book/Journal
Description and Table of Contents
Table of Contents
- １章 法則型推論の一般論（条件—機能と表現；情報量と法則型推論 ほか）
- ２章 法則型推論の個別理論（集合論理；命題論理 ほか）
- ３章 事象型推論の一般論（基本定理；証明に関する二つの予想 ほか）
- ４章 事象型推論の個別理論（「ルート２は無理数である。」の証明；素数約数の存在定理 ほか）
by "BOOK database"
