Cover Image
Read Now

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...”