Search alternatives:
2f philosophy » 23 philosophy, 24 philosophy, f philosophy
2 philosophy » 6 philosophy

1
Published 2014
Springer International Publishing
Table of Contents: ... -- Chapter 2: The Proof Is in the Process. A Preamble for a Philosophy of Computer-assisted Mathematics...