京都工芸繊維大学を検索します。
CiNii Researchを検索します。
CiNii Booksを検索します。
NDLサーチを検索します。
IRDBを検索します。
検索キーワード:(件名: #超数学)
該当件数:1件
Tableau systems for first order number theory and certain higher order theories / Sue Toledo
: Germany,: U.S.. - Berlin ; New York : Springer-Verlag , 1975. - (Lecture notes in mathematics ; 447)
図書