共 52 条
[3]
[Anonymous], 1945, ESSAY PSYCHOL INVENT
[4]
[Anonymous], NUMBER LANGUAGE SCI
[5]
[Anonymous], 1910, PRINCIPIA MATH, DOI DOI 10.1017/CBO9780511623585
[7]
BOURBAKI N, 1948, J SYMBOLIC LOGIC, V14, P1
[8]
Boysen ST., 1993, DEV NUMERICAL COMPET, P39
[10]
Brouwer, 1981, CAMBRIDGE LECT INTUI