数理論理学序説
Author(s)
Bibliographic Information
数理論理学序説
共立出版, 2010.9
復刊
- Other Title
-
復刊数理論理学序説
- Title Transcription
-
スウリ ロンリガク ジョセツ
Available at / 89 libraries
-
No Libraries matched.
- Remove all filters.
Search this Book/Journal
Note
『数理論理学序説 (共立全書160)』(共立出版 1966.6) の復刊
Description and Table of Contents
Description
論理計算の形式的な実際面とともに、記号論理学の基本的な考え方や基礎概念をわかりやすく説明する。
Table of Contents
- 1 命題論理(真理関数;Boole代数;真理関数の標準形;Tautology ほか)
- 2 述語論理(命題関数;超限的命題;数学的理論における命題の形式的表現;述語論理 ほか)
by "BOOK database"