Practical Foundations Of Mathematics 1999