Modal Homotopy Type Theory : The Prospect of a New Logic for Philosophy
David Corfield
Download - Immediately Available
Format: eBook (PDF)
Towards a Philosophy of Real Mathematics
David Corfield
Download - Immediately Available
Format: eBook (PDF)