About Practical Foundations of Mathematics
Practical Foundations of Mathematics- Online text of the book by Paul Taylor, together with supporting materials. The text aims to provide a conceptual and formal foundation for mathematics and computer science.
