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

3,520

著:金子裕介
出版社:朝倉書店
発売日:2021年05月
キーワード:文系のための記号論理入門命題論理から不完全性定理まで金子裕介ぶんけいのためのきごうろんりにゆうもんブンケイノタメノキゴウロンリニユウモンかねこゆうすけカネコユウスケ

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

※本データはこの商品が発売された時点の情報です。