共 8 条
[1]
LOCKS MO, 1976, LOGIQUE ANAL, V19, P285
[2]
LOCKS MO, 1978, NOTRE DAME J FORM L, V19, P264
[5]
Quine W. V., 1955, AM MATH MONTHLY, V62, P627, DOI DOI 10.1080/00029890.1955.11988710
[6]
RHYNE VT, 1977, IEEE T COMPUT, V26, P757, DOI 10.1109/TC.1977.1674913