Cole, Julian C. 1. “Alan Weir, "Truth Through Proof: A Formalist Foundation for Mathematics."”. Philosophy in Review 32 (6). British Columbia, Canada, 529-32. https://journals.uvic.ca/index.php/pir/article/view/11770.