共 15 条
- [1] Carnap Rudolph, 1963, PHILOS R CARNAP
- [2] Church, 1956, INTRO MATH LOGIC, V1
- [3] FEYS R, PHILOS R CARNAP
- [4] Feys R., 1965, MODAL LOGICS
- [5] HINTIKKA J, 1963, ACTA PHILOS FENN, V16, P65
- [6] Kripke Saul, 1963, ACTA PHILOS FENN, V16, P83, DOI DOI 10.1007/978-3-0346-0145-0_16
- [7] Kripke Saul, 1959, J SYMBOLIC LOGIC, V24, P1, DOI DOI 10.2307/2964568
- [8] Langford, 1959, SYMBOLIC LOGIC
- [9] LEONARD H, 1951, STRUCTURE METHOD MEA
- [10] Montague R., 1963, ACTA PHILOS FENN, P153, DOI 10.2307/2271809