京都工芸繊維大学を検索します。
CiNii Researchを検索します。
CiNii Booksを検索します。
NDLサーチを検索します。
IRDBを検索します。
検索キーワード:(標準分類: QA9.54)
該当件数:2件
ISILC Proof Theory Symposion : dedicated to Kurt Schütte on the occasion of his 65th birthday : proceedings of the International Summer Institute and Logic Colloquium, Kiel, 1974 / edited by J. Diller and G.H. Müller
: gw,: u.s.. - Berlin ; New York : Springer-Verlag , 1975. - (Lecture notes in mathematics ; 500)
図書
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)