共 36 条
[1]
ANDREKA H, 1976, 21 U ED DEPT ART INT
[2]
[Anonymous], SYMBOLIC LOGIC MECHA
[3]
BELNAP ND, 1968, NOUS, V2, P177
[4]
CARNAP R, 1967, MEANING NECESSITY
[6]
CHANDRA AK, 1975, J COMPUTER LANGUAGES, V1, P219
[7]
CHIHARA CS, 1965, PHILOS REV, V74
[8]
CHURCH A, 1951, P AM ACAD ARTS SCI, V80, P100
[9]
Church A, 1936, J SYMBOLIC LOGIC, V1, P40, DOI DOI 10.2307/2269326
[10]
Dreyfus H. L., 1972, WHAT COMPUTERS CANT