A SURVEY OF PROOF THEORY

[1] The contradictions of the general mass theory. [J]. MATHEMATISCHE ANNALEN, 1937, 114 : 305 - 315

[2] AX J, TO BE PUBLISHED

[3] Bachmann H., 1950, VIERTELJAHRESSCHRIFT, V95, P115

[4] BARWISE J, 1967, THESIS STANFORD U

[5] Craig W., 1965, J SYMBOLIC LOGIC, V30, P13

[6] CRAIG W, 1967, MATHEMATICAL REVIEWS, V33, P659

[7] CROSSLEY JN, 1964, FORMAL SYSTEMS RECUR, P189

[8] DAVIS M, 1955, UNDECIDABLE ED, P84

[9] PERSISTENT AND INVARIANT FORMULAS RELATIVE TO THEORIES OF HIGHER ORDER [J]. BULLETIN OF THE AMERICAN MATHEMATICAL SOCIETY, 1966, 72 (03) : 480 - &

[10] FEFERMAN S, 1962, ARCH MATH LOGIK GRUN, V6, P52

[1] The contradictions of the general mass theory. [J]. MATHEMATISCHE ANNALEN, 1937, 114 : 305 - 315

[2] AX J, TO BE PUBLISHED

[3] Bachmann H., 1950, VIERTELJAHRESSCHRIFT, V95, P115

[4] BARWISE J, 1967, THESIS STANFORD U

[5] Craig W., 1965, J SYMBOLIC LOGIC, V30, P13

[6] CRAIG W, 1967, MATHEMATICAL REVIEWS, V33, P659

[7] CROSSLEY JN, 1964, FORMAL SYSTEMS RECUR, P189

[8] DAVIS M, 1955, UNDECIDABLE ED, P84

[9] PERSISTENT AND INVARIANT FORMULAS RELATIVE TO THEORIES OF HIGHER ORDER [J]. BULLETIN OF THE AMERICAN MATHEMATICAL SOCIETY, 1966, 72 (03) : 480 - &

[10] FEFERMAN S, 1962, ARCH MATH LOGIK GRUN, V6, P52