近くの書店で在庫を調べる
  • 著者金子裕介
  • 出版社朝倉書店
  • ISBN9784254500349
  • 発行2021年5月

文系のための記号論理入門 / 命題論理から不完全性定理まで

文系学生のために初歩からていねいに説き起こして不完全性定理にまで至る記号論理学の入門書.〔内容〕対象言語とメタ言語/命題論理の文法/真理関数と真理表/トートロジー/二値原理/述語論理の文法/ペアノ公理系/他

>> 続きを表示