The Work

Outlines of a formalist philosophy of mathematics

The details

The Author

The offers