Logic In Elementary Mathematics by Robert M. Exner & Myron F. Rosskopf