共 8 条
[1]
BOOLOS G, 1984, J PHILOS, V81, P430, DOI 10.2307/2026308
[2]
BOOLOS G, 1984, LINGUIST INQ, V15, P343
[3]
BOOLOS G, UNPUB MIND
[4]
BOOLOS G, 1985, COMPUTABILITY LOGIC
[6]
Kreisel G., 1967, PROBLEMS PHILOS MATH, V47, P138
[7]
Parcons C., 1974, NOUS, V8, P1
[8]
SHAPIRO S, 1984, J SYMBOLIC LOGIC, V49, P1446