The Work
Intensional Mathematics
The details
The Author
Stewart Shapiro
The offers