Foundations of higher mathematics exploration and proof. - Fendel, Daniel (Addison-Wesley, 1990)