Lucidly and gradually explains sets and relations, the natural
number sequence and its generalization, extension of natural
numbers to real numbers, logic, informal axiomatic mathematics,
Boolean algebras, informal axiomatic set theory, several algebraic
theories, and 1st-order theories. Its clarity makes this book
excellent for self-study.