An introduction to mathematical reasoning : numbers, sets and functions 

 - Cambridge:  Cambridge Univeristy Press,  1997 
 - xii, 350 : Fig ; 23 cm 
<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