Includes navigation links and user settings
Introduction to formal, first-order, deductive, propositional logic that most college courses cover.