種別[hbm] セクションJRF の公開ブックマーク 日時2006年04月25日 02:05:33 元URLhttp://www.amazon.com/gp/product/0120585367/102-0378141-6763345 タグ[論理学] [型理論] Amazon.com: Introduction to Mathematical Logic and Type Theory: Books: Peter B. Andrews