Classical Logic and Its Rabbit-Holes

A rigorous yet accessible and engaging introduction to symbolic logic that covers all thestandard topics and guides students with helpful suggestions for finding solutions toproblems of proof using the methods of deductive logic.