An Intuitionistic Theory of Types: Predicative Part
暂无分享，去创建一个
[1] Per Martin-Löuf. About Models for Intuitionistic Type Theories and the Notion of Definitional Equality , 1975 .
[2] William A. Howard,et al. A system of abstract constructive ordinals , 1972, Journal of Symbolic Logic.
[3] D. Prawitz. Ideas and Results in Proof Theory , 1971 .
[4] G. Kreisel. Church's Thesis: A Kind of Reducibility Axiom for Constructive Mathematics , 1970 .
[5] Errett Bishop,et al. Mathematics as a Numerical Language , 1970 .
[6] Nicolas D. Goodman,et al. A Theory of Constructions Equivalent to Arithmetic , 1970 .
[7] Solomon Feferman,et al. Set-Theoretical foundations of category theory , 1969 .
[8] Georg Kreisel,et al. Functions, Ordinals, Species* , 1968 .
[9] William W. Tait,et al. Intensional interpretations of functionals of finite type I , 1967, Journal of Symbolic Logic.
[10] Joseph R. Shoenfield,et al. Mathematical logic , 1967 .
[11] K. Schütte,et al. Predicative Well-Orderings , 1965 .
[12] Kurt Schütte,et al. Eine Grenze Für die Beweisbarkeit der Transfiniten Induktion in der Verzweigten Typenlogik , 1964 .
[13] Solomon Feferman,et al. Systems of predicative analysis , 1964, Journal of Symbolic Logic.
[14] Georg Kreisel,et al. Foundations of Intuitionistic Logic , 1962 .
[15] Von Kurt Gödel,et al. ÜBER EINE BISHER NOCH NICHT BENÜTZTE ERWEITERUNG DES FINITEN STANDPUNKTES , 1958 .
[16] G. Gentzen. Untersuchungen über das logische Schließen. I , 1935 .