同志社大学の蔵書を検索
本学蔵書と電子資料をまとめて検索
同志社女子大学の蔵書を検索
他大学の蔵書を検索
国内の論文を検索
国立国会図書館NDLサーチを検索
同志社大学の蔵書を検索した結果です。電子書籍/電子ジャーナルは書誌詳細画面のリンクから利用できます。
検索キーワード:(著者名に左の語を含む: #Baaz Matthias)
該当件数:2件
Methods of Cut-Elimination / by Alexander Leitsch, Matthias Baaz
print. - Dordrecht : Springer Netherlands , 2011
電子書籍 <OB01026336>
Kurt Gödel and the foundations of mathematics : horizons of truth / edited by Matthias Baaz ... [et al.]
: hbk. - Cambridge ; New York : Cambridge University Press , 2011
図書 <BB12254491>