A Common Type of Rigorous Proof that Resists Hilbert's Programme
Attributed to:
The Integration and Interaction of Multiple Mathematical Reasoning Processes
funded by
EPSRC
Abstract
No abstract provided
Bibliographic Information
Type: Book Chapter
Book Title: Proof Technology in Mathematics Research and Teaching (2019)