2010年初版第１刷 目立った傷や汚れは見当たりません．経年の割に良い状態を保っていると思われます． 「現代数理論理学序説」 小野 寛晰 / 古森 雄一 定価: ￥ 3000 《内容説明》 　論理とラムダ計算、部分構造論理、論理学への代数的アプローチなど、最新の話題を盛り込んだ新しい入門書。 《目次》 第１章　命題論理 　論理学と形式的体系 　命題論理の体系 　ゲンツェンの基本定理 　古典命題論理の意味論 第２章　述語論理 　述語論理の体系 　ゲンツェンの基本定理 　古典述語論理の意味論 第３章　ラムダ計算の世界 　ラムダ計算の計算能力 　ラムダ項の型付けとη変形 第４章　非標準論理 　直観主義論理 　論理と代数 　様相論理 　部分構造論理 #小野寛晰 #小野_寛晰 #古森雄一 #古森_雄一 #本 #自然／数学