同志社大学の蔵書を検索
本学蔵書と電子資料をまとめて検索
同志社女子大学の蔵書を検索
他大学の蔵書を検索
国内の論文を検索
国立国会図書館NDLサーチを検索
同志社大学の蔵書を検索した結果です。電子書籍/電子ジャーナルは書誌詳細画面のリンクから利用できます。
検索キーワード:(著者名に左の語を含む: #Atten Mark van)
該当件数:3件
Brouwer meets Husserl : on the phenomenology of choice sequences / by Mark van Atten
: e-book. - Dordrecht : Springer , c2007. - (Synthese library ; v. 335)
図書 <BB10204307>
One hundred years of intuitionism, 1907-2007 : the Cerisy conference / Mark van Atten ... [et al.], editors
Basel : Birkhäuser , c2008. - (Publications des Archives Henri-Poincaré)
図書 <BB10317451>
Essays on Gödel's reception of Leibniz, Husserl, and Brouwer / Mark van Atten
Cham : Springer , c2015. - (Logic, epistemology, and the unity of science / editors, Shahid Rahman, John Symons ; v. 35)
図書 <BB12902680>