現代論理学

Author(s)

Bibliographic Information

現代論理学

安井邦夫著

世界思想社, 1991.4

Title Transcription

ゲンダイ ロンリガク

Access to Electronic Resource 1 items

Available at  / 107 libraries

Note

参考文献: p211-212

Description and Table of Contents

Description

本書は現代論理学における基本的なトピックをえらび、それを概説したもので、内容的にはＧ¨ｏｄｅｌの不完全定理までを含んでいる。

Table of Contents

  • 第１章　命題論理学（トートロジー；自然推論；公理系）
  • 第２章　述語論理学（自然推論；公理系；解釈、モデル、完全性）
  • 第３章　形式的数論
  • 第４章　帰納的関数
  • 第５章　不完全性定理

by "BOOK database"

Details

  • NCID
    BN06343275
  • ISBN
    • 9784790703976
  • Country Code
    ja
  • Title Language Code
    jpn
  • Text Language Code
    jpn
  • Place of Publication
    京都
  • Pages/Volumes
    v, 215p
  • Size
    22cm
  • Classification
  • Subject Headings
Page Top