|
内容紹介・もくじなど
著者プロフィール
前原 昭二(マエハラ ショウジ)
1951年東京大学理学部数学科卒業。元筑波大学名誉教授・東京工業大学名誉教授。理学博士。専攻は数学基礎論(本データはこの書籍が刊行された当時に掲載されていたものです) 前原 昭二(マエハラ ショウジ)
1951年東京大学理学部数学科卒業。元筑波大学名誉教授・東京工業大学名誉教授。理学博士。専攻は数学基礎論(本データはこの書籍が刊行された当時に掲載されていたものです) |
もくじ情報:1 命題論理(真理関数;Boole代数;真理関数の標準形;Tautology ほか);2 述語論理(命題関数;超限的命題;数学的理論における命題の形式的表現;述語論理 ほか)
もくじ情報:1 命題論理(真理関数;Boole代数;真理関数の標準形;Tautology ほか);2 述語論理(命題関数;超限的命題;数学的理論における命題の形式的表現;述語論理 ほか)