Some pedagogical aspects of proof
- 1 March 1990
- journal article
- Published by Springer Nature in Interchange
- Vol. 21 (1) , 6-13
- https://doi.org/10.1007/bf01809605
Abstract
No abstract availableThis publication has 4 references indexed in Scilit:
- Program verification: the very ideaCommunications of the ACM, 1988
- Making room for mathematicians in the philosophy of mathematicsThe Mathematical Intelligencer, 1986
- Structuring Mathematical ProofsThe American Mathematical Monthly, 1983
- Mathematical explanationPhilosophical Studies, 1978