共 18 条
[1]
CHURCH A, 1956, INTRODUCTION MATHEMA
[2]
Dummett M.A.E., 1959, Z F R MATHEMATISCHE, V5, P250
[3]
FEYS R, 1938, REV NEOSCHOLASTIQUE, V41, P217
[4]
Feys Robert, 1937, REV NEOSCHOLASTIQUE, V41, P217, DOI 10.2307/2267606
[5]
Kripke SA., 1963, MATH LOGIC QUART, V9, P67, DOI [DOI 10.1002/MALQ.19630090502, 10.1002/malq.19630090502]
[6]
Kripke Saul, 1959, J SYMBOLIC LOGIC, V24, P1, DOI DOI 10.2307/2964568
[7]
Kripke Saul A., 1959, J SYMBOLIC LOGIC, V24, P323, DOI 10.1017/S0022481200123321
[8]
Lemmon E.J., 1957, J SYMBOLIC LOGIC, V22, P176
[9]
LEMMON EJ, 1965, LOG ANAL, V8, P39
[10]
LEMMON EJ, 1960, NOTRE DAME J FORM L, V1, P3