Taylor, Paul <br/><br/>
Practical foundations of mathematics 

 - Cambridge:  Cambridge University Press,  1999. 
 - xi, 572 p. ;  hb.  24 cm. 
 - Cambridge studies in advanced mathematics ; 59 .
<br/><br/>Includes bibliographical references (p. [530]-552) and index. 
<br/><br/> This book is about the basis of mathematical reasoning both in pure mathematics itself (particularly algebra and topology) and in computer science (how and what it means to prove correctness of programmes). It deliberately transcends disciplinary boundaries and challenges many established attitudes to the foundations of mathematics. 
<br/><br/><label>ISBN: </label>9780521631075 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Mathematics<br/>Mathematics-Philosophy<br/>Topology
<br/><br/><label>Dewey Class. No.: </label>510  / TAY