共 3 条
[1]
FREGE, 1950, F ARITHMETIC
[2]
QUINE WV, 1960, WORD OBJECT, P262
[3]
TAKEUTI, 1954, J MATH SOC JAPAN, V6