Logic

Logic: The Basics is an accessible introduction to several core areas of logic. The first part of the book features a self-contained introduction to the standard topics in classical logic, such as: - mathematical preliminaries - propositional logic - quantified logic (first monadic, then polyadic) - English and standard 'symbolic translations' - tableau procedures.