論理と分析の通販ならネットオフ！

ゲンツェンの自然演繹NKを中心に据え、述語論理の完全性定理、健全性定理まで見通しのよい道筋を描く。

目次 ：イントロダクション;第1部 構文論と意味論;第2部 命題論理の構文論;第3部 命題論理の意味論;第4部 述語論理の構文論;第5部 述語論理の意味論;第6部 完全性定理と健全性定理

・古本・中古本 ＞ 産業本 ・学術書・歴史本 ＞ 心理・哲学 ＞ 哲学・思想

・古本・中古本 ＞ 産業本 ・学術書・歴史本 ＞ 心理・哲学 ＞ 作家 か行 ＞ 金子裕介

・古本・中古本の人気ランキングから探す

・産業本 ・学術書・歴史本の人気ランキングから探す

・人気 書籍作家ランキングから探す

買取 宅配買取 ＞古本・中古本の高価買取情報 ＞産業本 ・学術書・歴史本の高価買取情報