A SEMANTICS OF EVIDENCE FOR CLASSICAL ARITHMETIC

[11] PROOF THEORY IN THE USSR 1925-1969 [J]. JOURNAL OF SYMBOLIC LOGIC, 1991, 56 (02) : 385 - 424

[12] MURTHY C, 1990, THESIS CORNELL U

[13] NOVIKOV PS, 1943, MATEMATICESKIJ SBORN, V54, P230

[14] TAIT WW, 1968, LECT NOTES MATH, V72, P204

[15] [No title captured]

[11] PROOF THEORY IN THE USSR 1925-1969 [J]. JOURNAL OF SYMBOLIC LOGIC, 1991, 56 (02) : 385 - 424

[12] MURTHY C, 1990, THESIS CORNELL U

[13] NOVIKOV PS, 1943, MATEMATICESKIJ SBORN, V54, P230

[14] TAIT WW, 1968, LECT NOTES MATH, V72, P204

[15] [No title captured]