大学の資料を検索します。
CiNiiを検索します。
CiNii Booksを検索します。
CiNii Dissertationsを検索します。
IRDBを検索します。
NDLサーチを検索します。
本学の蔵書を検索した結果です。電子媒体は詳細画面から外部へリンクする事が可能です。
検索キーワード:(標準分類: 513/.01)
該当件数:2件
Metamathematics of first-order arithmetic / Petr Hájek, Pavel Pudlák
: gw,: us. - Berlin : Springer-Verlag , c1993. - (Perspectives in mathematical logic)
図書
Vorlesungen über Grundlagen der Geometrie / von Kurt Reidemeister
Berichtigter Nachdruck. - Berlin : Springer , 1968. - (Die Grundlehren der mathematischen Wissenschaften ; Bd. 32)