目次
数学の活用
字句代入，等号，代入
ブール式
命題計算
証明形式の緩和
命題論理の応用
ヒルベルトスタイルの証明系
形式論理
限量化
述語計算〔ほか〕
著者等紹介
グリース，Ｄ．［グリース，Ｄ．］［Ｇｒｉｅｓ，Ｄａｖｉｄ］
コーネル大学コンピュータ科学科教授
シュナイダー，Ｆ．Ｂ．［シュナイダー，Ｆ．Ｂ．］［Ｓｃｈｎｅｉｄｅｒ，Ｆｒｅｄ Ｂ．］
コーネル大学コンピュータ科学科教授
難波完爾［ナンバカンジ］
１９３９年岡山県に生まれる。１９６２年岡山大学理学部数学科卒業。１９６４年東京教育大学大学院理学研究科修士課程修了。東京大学教養部教授を経て、現在、弘前大学大学院教育学研究科教授。理学博士
土居範久［ドイノリヒサ］
１９３９年兵庫県に生まれる。１９６４年慶応義塾大学工学部管理工学科卒業。１９６９年慶応義塾大学大学院工学研究科博士課程中退。現在、慶応義塾大学理工学部情報工学科教授。工学博士
飯島正［イイジマタダシ］
１９９１年慶応義塾大学大学院理工学研究科博士課程単位取得退学。（株）東芝勤務を経て、現在、慶応義塾大学理工学部管理工学科助手
小野寺民也［オノデラタミヤ］
１９５９年、青森県に生まれる。１９８３年、東京大学理学部情報科学学科を卒業。１９８８年、東京大学大学院理学系研究科情報科学専門課程を修了。現在、日本アイビーエム東京基礎研究所シニアテクニカルスタッフメンバー理学博士
桔梗宏孝［キキョウヒロタカ］
１９６２年、広島県に生まれる。１９８４年、早稲田大学理工学部数学科を卒業。１９８９年、早稲田大学大学院理工工学研究科博士後期課程を退学。現在、東海大学理学部情報数理学科助教授、理学博士
志村立矢［シムラタツヤ］
１９５９年、静岡県に生まれる。１９８５年、東京大学理学部数学科を卒業。１９９１年、東京大学大学院理学系研究科博士課程を修了。現在、日本大学理工学部数学科助教授、理学博士
高橋真［タカハシマコト］
１９５４年、北海道に生まれる。１９７７年、早稲田大学理工学部数学科を卒業。１９８８年、早稲田大学大学院理工学研究科博士後期課程数学専攻を修了。現在、神戸大学発達科学部人間環境科学科助教授、理学博士
※書籍に掲載されている著者及び編者、訳者、監修者、イラストレーターなどの紹介情報です。
