共 6 条
[1]
Boolos G. S., 2002, COMPUTABILITY LOGIC
[2]
DAVIS C, 1990, U W ONT PHI, V45, P343
[3]
Gay Peter., 1995, NAKED HEART, V1st
[4]
Hersh R, 1997, WHAT IS MATH REALLY
[5]
Menger K., 1994, Reminiscences of the vienna circle and the mathematical colloquium
[6]
MORTENSEN C., 1995, INCONSISTENT MATH