@book{36930,
	author = {Weir, Alan.},
	title = {Truth through proof},
	publisher = {Oxford University Press,},
	year = {2010.},
	address = {Oxford :},
	url = {http://dx.doi.org/10.1093/acprof:oso/9780199541492.001.0001}
}