J.n.crossley

Individuals/organizations Page

Books

復刊現代数理論理学入門

J.n.crossley

☆
☆
☆
☆
☆
Write review 

Product Details

Genre
：
Sciences&Physics
ISBN/Catalogue Number
：
ISBN 13 : 9784320113183
ISBN 10 : 4320113187
Format
：
Books
Publisher
：
共立出版
Release Date
：
April/2017
Release Country
：
Japan
Co-Writer, Translator, Featured Individuals/organizations
:
ジョン・Ｎ・クロスリー, 田中尚夫 ,  

Content Description

目次 : 第１章　歴史的概観/ 第２章　述語論理の完全性/ 第３章　モデル理論/ 第４章　チューリング計算機と帰納的関数/ 第５章　ゲーデルの不完全性定理/ 第６章　集合論/ 訳者解説

【著者紹介】
田中尚夫 : １９６２年東京都立大学大学院修了。１９６４年〜１９９９年法政大学工学部・大学院工学研究科勤務。現在、法政大学名誉教授・理学博士。専門は数学基礎論（記述集合論、計算量理論）（本データはこの書籍が刊行された当時に掲載されていたものです）

（「BOOK」データベースより）

Customer Reviews

Comprehensive Evaluation

☆
☆
☆
☆
☆

0.0

★
★
★
★
★
 
0
★
★
★
★
☆
 
0
★
★
★
☆
☆
 
0
★
★
☆
☆
☆
 
0
★
☆
☆
☆
☆
 
0
Write you own review

Book Meter Reviews

こちらは読書メーターで書かれたレビューとなります。

powered by

  • hidehi

    読了日：2017/06/14

    「数学基礎論―ゲーデルの不完全性定理 (放送大学教材)」を読んだひとが先に進むのによい。ほとんど同じような構成で、書き方がよりフォーマルになっている。本文と訳者解説の二段構えになっているが、解説の方にちょっと省略があってわかりにくいところがある。それを調べるのもまた勉強になるけれど。

レビューをもっと見る

(外部サイト)に移動します

Recommend Items

Sell This Item