共 28 条
[1]
Anderson A.R., 1992, ENTAILMENT LOGIC REL, V2
[2]
Belnap Nuel, 1992, REVISION THEORY TRUT
[3]
BOCHENSKI IM, FORMALE LOGIK
[4]
BRESSAN A, 1972, GENERAL INTERPRETED
[5]
CARNAP P, 1937, LOGICAL SYNTAX LANGU
[6]
Church A., 1956, INTRO MATH LOGIC
[7]
COUTURAT L, 1905, ENSEIGNEMENT MATH, V7, P27
[8]
CURRY HB, 1963, F MATH LOGIC
[9]
DAVIDSON D, 1972, SEMANTICS NATURAL LA
[10]
Frege, 1964, BASIC LAWS ARITHMETI