分岐タイプと還元公理 : 『プリンキピア・マテマティカ』新旧両版の内的連関をめぐって

スポンサーリンク

概要

• 論文の詳細を見る
• 2005-07-15

著者

• 野村 恭史

  北海道大学文学研究科

• 野村 恭史

  北海道大学大学院

関連論文

• 分岐タイプと還元公理 : 『プリンキピア・マテマティカ』新旧両版の内的連関をめぐって
• 『論考』における像と形式
• 『論考』における像と形式
• 「書評」に応えて
• 『論考』とタイプ理論 : 『プリンキピア』第二版を手がかりに

スポンサーリンク