Practical Foundations of Mathematics (1999)

by P Taylor