An introduction to mathematical reasoning : numbers, sets and functions 
Peter J. Eccles 
 - Cambridge  Cambridge Univeristy Press  1997 
 - xii, 350 : Fig ; 23 cm 
<br/><br/> Includes bibliographical references and index 
<br/><br/><label>ISBN: </label>9780521592697 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Proof theory
<br/><br/><label>Dewey Class. No.: </label>511.3 ECC