共 4 条
[1]
Craig W., 1957, J SYMBOLIC LOGIC, V22, P250, DOI 10.2307/2963593
[2]
Godel K., 1930, MONATSHEFTE MATH PHY, V37, P103, DOI DOI 10.1007/BF01696781
[3]
Hempel CG., 1948, PHILOS SCI, V15, P135, DOI [DOI 10.1086/286983, 10.1086/286983]
[4]
Hilbert D., 1950, PRINCIPLES MATH LOGI