|
内容紹介・もくじなど
著者プロフィール
金子 裕介(カネコ ユウスケ)
2009年東京大学大学院人文社会系研究科基礎文化研究専攻哲学専門分野博士課程修了。東京大学次世代人文学開発センター研究員(ウィーン大学にて在外研究2010.9‐2011.2)などを経て、現在、明治大学ほか非常勤講師(本データはこの書籍が刊行された当時に掲載されていたものです) 金子 裕介(カネコ ユウスケ)
2009年東京大学大学院人文社会系研究科基礎文化研究専攻哲学専門分野博士課程修了。東京大学次世代人文学開発センター研究員(ウィーン大学にて在外研究2010.9‐2011.2)などを経て、現在、明治大学ほか非常勤講師(本データはこの書籍が刊行された当時に掲載されていたものです) |
もくじ情報:イントロダクション;第1部 構文論と意味論;第2部 命題論理の構文論;第3部 命題論理の意味論;第4部 述語論理の構文論;第5部 述語論理の意味論;第6部 完全性定理と健全性定理
もくじ情報:イントロダクション;第1部 構文論と意味論;第2部 命題論理の構文論;第3部 命題論理の意味論;第4部 述語論理の構文論;第5部 述語論理の意味論;第6部 完全性定理と健全性定理