記号論理学講義

記号論理学における中級者を対象にしたテキスト．この領域の代表的理論を学び，数学の抽象化を推し進めた束論および圏論を援用して理解を深める．さらに「論理語がなぜ基本的と見なされるか」などの知識をめぐる根本的な問いを考察．30年間の講義をもとにした集大成．

著者

清水　義夫

出版社

東京大学出版会

発売日

2013-03-01

価格

3,800円（税込・書誌情報提供：openBD）

ISBN

9784130120623

ページ数

400ページ

発売済み