数理論理学序説
著者
書誌事項
数理論理学序説
共立出版, 2010.9
復刊
- タイトル別名
-
復刊数理論理学序説
- タイトル読み
-
スウリ ロンリガク ジョセツ
大学図書館所蔵 件 / 全89件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
この図書・雑誌をさがす
注記
『数理論理学序説 (共立全書160)』(共立出版 1966.6) の復刊
内容説明・目次
内容説明
論理計算の形式的な実際面とともに、記号論理学の基本的な考え方や基礎概念をわかりやすく説明する。
目次
- 1 命題論理(真理関数;Boole代数;真理関数の標準形;Tautology ほか)
- 2 述語論理(命題関数;超限的命題;数学的理論における命題の形式的表現;述語論理 ほか)
「BOOKデータベース」 より