共 15 条
[1]
ANDERSON AR, ENTAILMENT
[2]
Ashworth E.J., 1974, LANGUAGE LOGIC POSTM
[3]
Ashworth E. Jennifer, 1968, NOTRE DAME J FORM L, V9, P179
[4]
GEACH PT, 1954, ANALYSIS, V15, P71
[5]
KLEENE SC, 1952, INTRO METAMATHEMATIC
[6]
Kneale M., 1962, DEV LOGIC
[7]
Lob M., 1955, J SYMBOLIC LOGIC, V20, P115, DOI [DOI 10.2307/2266895, 10.2307/2266895]
[8]
Mates B., 1965, ELEMENTARY LOGIC
[9]
Mates B., 1965, CONTRIBUTIONS LOGIC, P132
[10]
McDermott, 1972, J HIST PHILOS, V10, P273