Practical Foundations of Mathematics
An account of the foundations of mathematics (algebra) and theoretical computer science, from a modern constructive viewpoint by Paul Taylor. Published by Cambridge University Press. HTML approximation.

No queries for www.cs.man.ac.uk/~pt/Practical_Foundations/index.html