Three insufficiently attended to aspects of most mathematical proofs: phenomenological studies (1992)

by R S Tragesser
Venue:Proof, Logic and Formalization