Practical Foundations of Mathematics

Cambridge University Press
Practical Foundations of Mathematics