• 本

数の体系と超準モデル

出版社名 裳華房
出版年月 2002年4月
ISBNコード 978-4-7853-1530-6
4-7853-1530-X
税込価格 4,620円
頁数・縦 265P 22cm

商品内容

目次

等式の体系
計算の理論
述語論理
モデルの理論
自然数論(形式体系編
超準モデル編)
実数論(代数編
解析編)

出版社
商品紹介

数学基礎論の立場から数の体系を本格的に解説。予備知識の少ない読者のために基礎的な話題も解説。

著者紹介

田中 一之 (タナカ カズユキ)  
1978年東京工業大学理学部情報科学科卒。同大学院理工学研究科博士課程中退。1986年カリフォルニア大学バークレイ校Ph.D.(数学)。東京工業大学理学部助手、東北大学理学部助教授を経て、1997年より東北大学大学院理学研究科数学専攻教授。その間、ペンシルバニア州立大学(1990‐91)とオックスフォード大学(1995)にて客員研究員(本データはこの書籍が刊行された当時に掲載されていたものです)