共 5 条
- [1] BETH EW, F MATHEMATICS, P486
- [2] HENKIN L, 1949, J SYMBOLIC LOGIC, V14, P160
- [3] Post E.L., 1944, B AM MATH SOC, V50, P284, DOI [DOI 10.1090/S0002-9904-1944-08111-1, 10.1090/S0002-9904-1944-08111-1]
- [4] STRAWSON, 1950, MIND
- [5] THOMSON JF, 1962, ANALYTICAL PHILOSOPH, P115