共 3 条
[1]
HACKING I, 1967, PHILOSOPHY SCI, V37, P311
[2]
Kripke Saul A., 1965, FORMAL SYSTEMS RECUR, P92
[3]
Shimony A., 1955, J SYMBOLIC LOGIC, V20, P1