Introductory Concepts for Abstract Mathematics. (2000)