A SURVEY OF PROOF THEORY

[31] HORN A, 1965, ZENTRALBLATT, V117, P253

[32] TRANSFINITE INDUCTION AND BAR INDUCTION OF TYPES ZERO AND 1 AND ROLE OF CONTINUITY IN INTUITIONISTIC ANALYSIS [J]. JOURNAL OF SYMBOLIC LOGIC, 1966, 31 (03) : 325 - &

[33] HOWARD WA, 1968, COMPOS MATH, V20, P107

[34] HOWARD WA, 1963, J SYMBOLIC LOGIC, V28, P303

[35] KARP C, 1966, J SYMBOLIC LOGIC, V31, P294

[36] Karp Carol, 1964, LANGUAGES EXPRESSION

[37] KEISLER KJ, 1966, B AMERICAN MATHEMATI, V72, P141

[38] KLEENE SC, 1966, J SYMBOLIC LOGIC, V31, P258

[39] KLEENE SC, 1965, FOUNDATIONS INTUITIO

[40] KLEENE SC, 1952, INTRODUCTION METAMAT

[31] HORN A, 1965, ZENTRALBLATT, V117, P253

[32] TRANSFINITE INDUCTION AND BAR INDUCTION OF TYPES ZERO AND 1 AND ROLE OF CONTINUITY IN INTUITIONISTIC ANALYSIS [J]. JOURNAL OF SYMBOLIC LOGIC, 1966, 31 (03) : 325 - &

[33] HOWARD WA, 1968, COMPOS MATH, V20, P107

[34] HOWARD WA, 1963, J SYMBOLIC LOGIC, V28, P303

[35] KARP C, 1966, J SYMBOLIC LOGIC, V31, P294

[36] Karp Carol, 1964, LANGUAGES EXPRESSION

[37] KEISLER KJ, 1966, B AMERICAN MATHEMATI, V72, P141

[38] KLEENE SC, 1966, J SYMBOLIC LOGIC, V31, P258

[39] KLEENE SC, 1965, FOUNDATIONS INTUITIO

[40] KLEENE SC, 1952, INTRODUCTION METAMAT