Towards a Philosophy of Real Mathematics || Communicating with automated theorem provers
Corfield, DavidVolume:
10.1017/CB
Year:
2003
Language:
english
DOI:
10.1017/cbo9780511487576.004
File:
PDF, 379 KB
english, 2003