• 本

現代数理論理学入門 復刊

出版社名 共立出版
出版年月 2017年4月
ISBNコード 978-4-320-11318-3
4-320-11318-7
税込価格 4,536円
頁数・縦 185P 22cm

商品内容

目次

第1章 歴史的概観
第2章 述語論理の完全性
第3章 モデル理論
第4章 チューリング計算機と帰納的関数
第5章 ゲーデルの不完全性定理
第6章 集合論
訳者解説

著者紹介

田中 尚夫 (タナカ ヒサオ)  
1962年東京都立大学大学院修了。1964年〜1999年法政大学工学部・大学院工学研究科勤務。現在、法政大学名誉教授・理学博士。専門は数学基礎論(記述集合論、計算量理論)(本データはこの書籍が刊行された当時に掲載されていたものです)