Gasteren, A. J. M. van <br/><br/>
On the shape of mathematical arguments 

 - Berlin :  Springer-Verlag,  1990 
 - 180 p. 
 - Lecture notes in computer science ;  no. 445 .
<br/><br/><label>ISBN: </label>3540528490 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Electronic data processing--Mathematics
<br/><br/><label>LC Class. No.: </label>QA76.9 M35  / G38