A Handbook of proofs and theorems / 
edited by Maria Catherine C. Borres 
 - 255 páginas :  ilustraciones 
<br/><br/><label>ISBN: </label>9781680945881 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Teoría de la demostración<br/>Demostración automática de teoremas
<br/><br/><label>LC Class. No.: </label>QA9.54  / H353