京都工芸繊維大学を検索します。
CiNii Researchを検索します。
CiNii Booksを検索します。
NDLサーチを検索します。
IRDBを検索します。
検索キーワード:(標準分類: QA299.8)
該当件数:2件
Foundations of modern analysis / Avner Friedman
: pbk.. - New York : Dover , 1982
図書
Iterated inductive definitions and subsystems of analysis : recent proof-theoretical studies / Wilfried Buchholz ... [et al.]
: Berlin,: New York. - Berlin ; New York : Springer-Verlag , 1981. - (Lecture notes in mathematics ; 897)