Weir, Alan. <br/><br/>
Truth through proof  a formalist foundation for mathematics /  [electronic resource] : 
Alan Weir. 
 - Oxford :  Oxford University Press,  2010. 
 - 1 online resource (xiv, 281 p.) :  ill. 
<br/><br/>Includes bibliographical references and index. 
<br/><br/><label>ISBN: </label>9780191594915 (ebook) 0191594911 (ebook) 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Mathematics--Philosophy.<br/>Logic, Symbolic and mathematical.