Truth Through Proof - Weir (Oxford University PressOxford University Press, 2011)