現代数理論理学序説の通販ならネットオフ！

論理とラムダ計算、部分構造論理、論理学への代数的アプローチなど、最新の話題を盛り込んだ新しい入門書。

目次 ：第1章 命題論理(論理学と形式的体系;命題論理の体系;ゲンツェンの基本定理;古典命題論理の意味論);第2章 述語論理(述語論理の体系;ゲンツェンの基本定理;古典述語論理の意味論);第3章 ラムダ計算の世界(ラムダ計算の計算能力;ラムダ項の型付けとη変形);第4章 非標準論理(直観主義論理;論理と代数;様相論理;部分構造論理)

・古本・中古本 ＞ 産業本 ・学術書・歴史本 ＞ 数学・物理・化学 ＞ 数学

・古本・中古本 ＞ 産業本 ・学術書・歴史本 ＞ 数学・物理・化学 ＞ 作家 か行 ＞ 古森雄一

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

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

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

買取 宅配買取 ＞古本・中古本の高価買取情報 ＞産業本 ・学術書・歴史本の高価買取情報 ＞現代数理論理学序説 買取価格