共 9 条
[1]
ANDERSON AR, 1964, MINDS MACHINES, P52
[3]
CHURCH A, 1956, INTRO MATH LOGIC, V1, P108
[4]
Lucas J. R., 1961, PHILOSOPHY, V36, P120
[5]
LUCAS JR, 1966, PHILOSOPHICAL Q, V16, P289
[6]
PUTNAM H, 1961, DIMENSIONS MIND S, P142
[7]
SMULLYAN R, 1961, THEORY FORMAL SYSTEM, pCH3
[8]
TARSKI A, 1930, MONATSHEFTE MATH PHY, V37, P387
[9]
TARSKI A, 1956, LOGIC SEMANTICS META, P187