How to Write a Proof
- 1 August 1995
- journal article
- research article
- Published by Taylor & Francis in The American Mathematical Monthly
- Vol. 102 (7) , 600-608
- https://doi.org/10.1080/00029890.1995.12004627
Abstract
(1995). How to Write a Proof. The American Mathematical Monthly: Vol. 102, No. 7, pp. 600-608.This publication has 3 references indexed in Scilit:
- Composing specificationsACM Transactions on Programming Languages and Systems, 1993
- The existence of refinement mappingsTheoretical Computer Science, 1991
- Structuring Mathematical ProofsThe American Mathematical Monthly, 1983