A SURVEY OF PROOF THEORY

[41] Kreisel, 1960, B SOC MATH FRANCE, V88, P371

[42] REFLECTION PRINCIPLES AND THEIR USE FOR ESTABLISHING COMPLEXITY OF AXIOMATIC SYSTEMS [J]. ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1968, 14 (02): : 97 - &

[43] KREISEL G, 1967, J SYMBOLIC LOGIC, V32, P442

[44] KREISEL G, 1959, ARCH MATH LOGIK GRUN, V5, P42

[45] Kreisel G., 1965, LECTURES MODERN MATH, P95

[46] KREISEL G, 1953, 11TH P INT C PHIL AM, P39

[47] KREISEL G, 1958, INT C MATHEMATICIANS, P289

[48] KREISEL G, 1958, J SYMBOLIC LOGIC, V23, P108

[49] KREISEL G, 1958, J SYMB LOG, V23, P109

[50] KREISEL G, 1967, ELEMENTS MATHEMATICA

[41] Kreisel, 1960, B SOC MATH FRANCE, V88, P371

[42] REFLECTION PRINCIPLES AND THEIR USE FOR ESTABLISHING COMPLEXITY OF AXIOMATIC SYSTEMS [J]. ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1968, 14 (02): : 97 - &

[43] KREISEL G, 1967, J SYMBOLIC LOGIC, V32, P442

[44] KREISEL G, 1959, ARCH MATH LOGIK GRUN, V5, P42

[45] Kreisel G., 1965, LECTURES MODERN MATH, P95

[46] KREISEL G, 1953, 11TH P INT C PHIL AM, P39

[47] KREISEL G, 1958, INT C MATHEMATICIANS, P289

[48] KREISEL G, 1958, J SYMBOLIC LOGIC, V23, P108

[49] KREISEL G, 1958, J SYMB LOG, V23, P109

[50] KREISEL G, 1967, ELEMENTS MATHEMATICA