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

Author(s)

Bibliographic Information

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

江田勝哉著

内田老鶴圃, 2010.5

Other Title

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

Title Transcription

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

Available at  / 117 libraries

Note

参考文献: 各章末

Description and Table of Contents

Table of Contents

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

by "BOOK database"

Details

  • NCID
    BB0204461X
  • ISBN
    • 9784753601516
  • Country Code
    ja
  • Title Language Code
    jpn
  • Text Language Code
    jpn
  • Place of Publication
    東京
  • Pages/Volumes
    iv, 160p
  • Size
    21cm
  • Classification
  • Subject Headings
Page Top