works
John P. Burgess Review of Alan Weir, <em>Truth through Proof: A Formalist Foundation for Mathematics</em> article

Review of Alan Weir, Truth through Proof: A Formalist Foundation for Mathematics

John P. Burgess

Philosophia Mathematica, vol. 19, no. 2, 2011, pp. 213–219