• 本

数理論理学序説 復刊

出版社名 共立出版
出版年月 2010年9月
ISBNコード 978-4-320-01943-0
4-320-01943-1
税込価格 4,290円
頁数・縦 214,5P 22cm

商品内容

要旨

論理計算の形式的な実際面とともに、記号論理学の基本的な考え方や基礎概念をわかりやすく説明する。

目次

1 命題論理(真理関数
Boole代数
真理関数の標準形
Tautology ほか)
2 述語論理(命題関数
超限的命題
数学的理論における命題の形式的表現
述語論理 ほか)

著者紹介

前原 昭二 (マエハラ ショウジ)  
1951年東京大学理学部数学科卒業。元筑波大学名誉教授・東京工業大学名誉教授。理学博士。専攻は数学基礎論(本データはこの書籍が刊行された当時に掲載されていたものです)