TY  - BOOK
AU  - Weir,Alan
TI  - Truth through proof: a formalist foundation for mathematics 
SN  - 9780191594915 (ebook)
PY  - 2010///
CY  - Oxford
PB  - Oxford University Press
KW  - Mathematics
KW  - Philosophy
KW  - Logic, Symbolic and mathematical
N1  - Includes bibliographical references and index
UR  - http://dx.doi.org/10.1093/acprof:oso/9780199541492.001.0001
ER  -