Weir, Alan profile picture

Weir, Alan

Truth through proof: a formalist foundation for mathematics