検索条件入力 ＞ 書誌詳細 ＞ 関連資料一覧：（本学所蔵）
関連資料一覧：（本学所蔵）
著者名典拠情報
NCIDDA00377053
名称(HDNG)Detlefsen, Michael, 1948-
生没年(DATE)1948
注記(NOTE)His Hilbert's program, c1986: CIP t.p. (Michael Detlefsen, Dept. of Philosophy, Univ. of Notre Dame) data sheet (b. 10-20-48)
LCAID85290338
選択行を：
資料名所在
1Hilbert's program : an essay on mathematical instrumentalism / Michael Detlefsen. -- D. Reidel, c1986. -- (Synthese library ; v. 182).教養（教養学部棟） 410.1:O
教養共４Ｆ哲学 410.1:D
2Proof, logic and formalization / edited by Michael Detlefsen. -- Routledge, 1992.教養（教養学部棟） 410:D
3Proof and knowledge in mathematics / edited by Michael Detlefsen. -- Routledge, 1992.教養（教養学部棟） 410.1:P
教養共４Ｆ哲学 410.1:P
選択行を
▲ページトップへ