About Practical Foundations of Mathematics
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.
