京都工芸繊維大学を検索します。
CiNii Researchを検索します。
CiNii Booksを検索します。
NDLサーチを検索します。
IRDBを検索します。
検索キーワード:(件名: #Proof theory)
該当件数:6件
Extensional Gödel functional interpretation : a consistency proof of classical analysis / Horst Luckhardt
: u.s.,: gw. - Berlin : Springer-Verlag , 1973. - (Lecture notes in mathematics ; 306)
図書
Proof theory and intuitionistic systems / Bruno Scarpellini
: Germany,: U.S.. - Berlin ; New York : Springer-Verlag , 1971. - (Lecture notes in mathematics ; 212)
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)
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)
Metamathematical investigation of intuitionistic arithmetic and analysis / A.S. Troelstra (ed.)
: u.s.,: gw. - Berlin : Springer , 1973. - (Lecture notes in mathematics ; 344)
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)