共 3 条
[1]
PUTHAM H, 1987, REPRESENTATION REALI
[2]
RUSSELL, 1956, LOGIC KNOWLEDGE ESSA, P59
[3]
TARSKI A, 1956, LOGIC SEMANTICS META, P164