数理論理学序説
著者
書誌事項
数理論理学序説
共立出版, 2010.9
復刊
- タイトル別名
-
復刊数理論理学序説
- タイトル読み
-
スウリ ロンリガク ジョセツ
大学図書館所蔵 全89件
  青森
  岩手
  宮城
  秋田
  山形
  福島
  茨城
  栃木
  群馬
  埼玉
  千葉
  東京
  神奈川
  新潟
  富山
  石川
  福井
  山梨
  長野
  岐阜
  静岡
  愛知
  三重
  滋賀
  京都
  大阪
  兵庫
  奈良
  和歌山
  鳥取
  島根
  岡山
  広島
  山口
  徳島
  香川
  愛媛
  高知
  福岡
  佐賀
  長崎
  熊本
  大分
  宮崎
  鹿児島
  沖縄
  韓国
  中国
  タイ
  イギリス
  ドイツ
  スイス
  フランス
  ベルギー
  オランダ
  スウェーデン
  ノルウェー
  アメリカ
この図書・雑誌をさがす
注記
『数理論理学序説 (共立全書160)』(共立出版 1966.6) の復刊
内容説明・目次
内容説明
論理計算の形式的な実際面とともに、記号論理学の基本的な考え方や基礎概念をわかりやすく説明する。
目次
- 1 命題論理(真理関数;Boole代数;真理関数の標準形;Tautology ほか)
- 2 述語論理(命題関数;超限的命題;数学的理論における命題の形式的表現;述語論理 ほか)
「BOOKデータベース」 より