The Many Worlds of Logic by Herrick, Paul A nice touch in this textbook is the quick start guide for each chapter.
