数理論理学 : 使い方と考え方 : 超準解析の入口まで

著者

• 江田, 勝哉 エダ, カツヤ

書誌事項

数理論理学 : 使い方と考え方 : 超準解析の入口まで

江田勝哉著

内田老鶴圃, 2010.5

タイトル別名

数理論理学 : 使い方と考え方超準解析の入口まで

タイトル読み

スウリ ロンリガク : ツカイカタ ト カンガエカタ : チョウジュン カイセキ ノ イリグチ マデ

注記

参考文献: 各章末

内容説明・目次

目次

• 第１章　論理式
• 第２章　論理式の解釈と構造
• 第３章　定義可能集合
• 第４章　冠頭標準形と否定命題
• 第５章　証明と推論規則
• 第６章　完全性定理
• 第７章　１階述語論理の表現可能性の限界について
• 第８章　初等部分構造について
• 第９章　簡単な超準解析の導入
• 第１０章　数理論理学と数学
• 第１１章　超準解析の応用

「BOOKデータベース」 より

詳細情報

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