共 11 条
[1]
HERTZBERGER H, 1970, J PHILOS, V17, P145
[2]
KAPLAN D, 1960, NOTRE DAME J FORM L, V1, P79
[3]
Kleene SC., 1952, INTRO MATH, P332
[4]
MARTIN, 1967, PHILOSOPHICAL REV, V76, P279
[5]
MARTIN, 1968, PHILOSOPHICAL REV, V77, P325
[6]
Martin, 1970, PARADOX LIAR
[7]
MONTAGUE R, 1963, ACTA PHILOS FENN, P153
[8]
MOSCHOVAKIS YN, 1974, ELEMENTARY INDUCTION, pCH5
[9]
PARSONS C, 1974, J PHILOSOPHICAL LOGI, V3, P380
[10]
Prior A. N., 1961, NOTRE DAME J FORM L, V2, P16, DOI DOI 10.1305/NDJFL/1093956750