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