目次
第1章 準備
第2章 命題論理
第3章 述語論理
第4章 構造
第5章 完全性定理
第6章 完全性定理の応用―超準解析
著者等紹介
坪井明人[ツボイアキト]
1955年東京都昭島市に生まれる。1979年東京大学理学部数学科卒業。1985年筑波大学大学院博士課程修了。理学博士。筑波大学名誉教授。専門:数理論理学、モデル理論(本データはこの書籍が刊行された当時に掲載されていたものです)
※書籍に掲載されている著者及び編者、訳者、監修者、イラストレーターなどの紹介情報です。
第1章 準備
第2章 命題論理
第3章 述語論理
第4章 構造
第5章 完全性定理
第6章 完全性定理の応用―超準解析
坪井明人[ツボイアキト]
1955年東京都昭島市に生まれる。1979年東京大学理学部数学科卒業。1985年筑波大学大学院博士課程修了。理学博士。筑波大学名誉教授。専門:数理論理学、モデル理論(本データはこの書籍が刊行された当時に掲載されていたものです)
※書籍に掲載されている著者及び編者、訳者、監修者、イラストレーターなどの紹介情報です。