Truth through proof a formalist foundation for mathematics - Weir, Alan. (Oxford : Oxford University Press, 2010)
Includes bibliographical references and index.
Keywords: Mathematics -- Philosophy; Logic, Symbolic and mathematical