Truth through proof : a formalist foundation for mathematics /

Bibliographic Details
Main Author:	Weir, Alan
Format:	Book
Language:	English
Published:	Oxford : Clarendon Press, 2010.
Subjects:	Mathematics > Philosophy. Logic, Symbolic and mathematical.

Remote Storage