SYSTEMS OF PREDICATIVE ANALYSIS .2. REPRESENTATIONS OF ORDINALS

[1] BACHMANN H, 1955, TRANSFINITE ZAHLEN

[2] CROSSLEY JN, 1963, J SYMBOLIC LOGIC, V28, P308

[3] Feferman S., 1962, J SYMBOLIC LOGIC, V27, P383, DOI DOI 10.2307/2964544

[4] Feferman S., 1964, J SYMBOLIC LOGIC, V29, P1

[5] Gandy R. 0., 1960, B ACAD POLON SC SMAP, V8, P571

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

[7] Mitchell B., 1965, PURE APPL MATH, V17

[8] Sch?tte K., 1960, BEWEISTHEORIE

[9] Schutte K., 1965, FORMAL SYSTEMS RECUR, P279

[10] Schutte K, 1954, MATH ANN, V127, P15

[1] BACHMANN H, 1955, TRANSFINITE ZAHLEN

[2] CROSSLEY JN, 1963, J SYMBOLIC LOGIC, V28, P308

[3] Feferman S., 1962, J SYMBOLIC LOGIC, V27, P383, DOI DOI 10.2307/2964544

[4] Feferman S., 1964, J SYMBOLIC LOGIC, V29, P1

[5] Gandy R. 0., 1960, B ACAD POLON SC SMAP, V8, P571

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

[7] Mitchell B., 1965, PURE APPL MATH, V17

[8] Sch?tte K., 1960, BEWEISTHEORIE

[9] Schutte K., 1965, FORMAL SYSTEMS RECUR, P279

[10] Schutte K, 1954, MATH ANN, V127, P15