A SEMANTICS OF EVIDENCE FOR CLASSICAL ARITHMETIC

[1] ABRAMSKY S, 1993, THEORETICAL COMPUTER, P3

[2] Blass A., 1972, FUND MATH, V77, P151

[3] Church A., 1946, J SYMBOLIC LOGIC, V11, P129

[4] CONSTABLE R, 1985, TR85684 CORN U DEP C

[5] Gentzen G., 1969, COLLECTED PAPERS G G

[6] Hoare C.A.R., 1985, COMMUNICATING SEQUEN

[7] Kleene S., 1952, NOSTRAND

[8] KREISEL G, 1952, J SYMBOLIC LOGIC, V17, P50

[9] LORENZEN K, 1962, INFINITISTIC METHODS, P193

[10] Martin-Lof P, 1970, NOTES CONSTRUCTIVE M

[1] ABRAMSKY S, 1993, THEORETICAL COMPUTER, P3

[2] Blass A., 1972, FUND MATH, V77, P151

[3] Church A., 1946, J SYMBOLIC LOGIC, V11, P129

[4] CONSTABLE R, 1985, TR85684 CORN U DEP C

[5] Gentzen G., 1969, COLLECTED PAPERS G G

[6] Hoare C.A.R., 1985, COMMUNICATING SEQUEN

[7] Kleene S., 1952, NOSTRAND

[8] KREISEL G, 1952, J SYMBOLIC LOGIC, V17, P50

[9] LORENZEN K, 1962, INFINITISTIC METHODS, P193

[10] Martin-Lof P, 1970, NOTES CONSTRUCTIVE M