Practical Foundations of Mathematics
1999 • 588 pages