Reasoning in Simple Type Theory: Festschrift in Honor of Peter B. Andrews on His 70th Birthday (Studies in Logic: Mathematical Logic and Foundations)

アマゾンで詳細を見る

カテゴリ/定価/発売日 本/3582円/2008-12-01 アクション (残り0枚)