数理論理学序説

著者

• 前原, 昭二 マエハラ, ショウジ

書誌事項

数理論理学序説

前原昭二著

共立出版, 2010.9

復刊

タイトル別名

復刊数理論理学序説

タイトル読み

スウリ ロンリガク ジョセツ

注記

『数理論理学序説 (共立全書160)』(共立出版 1966.6) の復刊

内容説明・目次

内容説明

論理計算の形式的な実際面とともに、記号論理学の基本的な考え方や基礎概念をわかりやすく説明する。

目次

• １　命題論理（真理関数；Ｂｏｏｌｅ代数；真理関数の標準形；Ｔａｕｔｏｌｏｇｙ　ほか）
• ２　述語論理（命題関数；超限的命題；数学的理論における命題の形式的表現；述語論理　ほか）

「BOOKデータベース」 より

詳細情報

• NII書誌ID(NCID): BB03373606
• ISBN:
  • 9784320019430
• 出版国コード: ja
• タイトル言語コード: jpn
• 本文言語コード: jpn
• 出版地: 東京
• ページ数/冊数: 3, 4, 214, 5p
• 大きさ: 22cm
• 分類:
  • NDC9 : 410.96
• 件名:
  • NDLSH : 記号論理学