京都工芸繊維大学を検索します。
CiNii Researchを検索します。
CiNii Booksを検索します。
NDLサーチを検索します。
IRDBを検索します。
検索キーワード:(件名: #Intuitionistic mathematics)
該当件数:5件
Principles of intuitionism : lectures presented at the summer conference on intuitionism and proof theory (1968) at SUNY at Buffalo, N.Y. / A.S. Troelstra
Berlin ; Heidelberg ; New York : Springer-Verlag , 1969. - (Lecture notes in mathematics ; 95)
図書
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)
Constructive mathematics : proceedings of the New Mexico State University conference held at Las Cruces, New Mexico, August 11-15, 1980 / edited by F. Richman
: Berlin,: New York. - Berlin ; New York : Springer-Verlag , 1981. - (Lecture notes in mathematics ; 873)
Metamathematical investigation of intuitionistic arithmetic and analysis / A.S. Troelstra (ed.)
: u.s.,: gw. - Berlin : Springer , 1973. - (Lecture notes in mathematics ; 344)