Convex and Discrete Geometry Book

Good book covering metalogic for many logics used in philosophy. It begins with propositional and ends with quantified modal logic. In-between, other non-standard and even "devient" logics are covered, as well as tense logic and counterfactual logic. The book is not introductory, but provides a good introduction to many of the logics previously mentioned. The reader can expect to do proofs by mathematical induction as well as prove soundness and completeness for several systems. Philosophical issues are not the focus, so this is not a philosophy of logic book, but Sider does briefly address some of them as they arise. Sider does seem to be a little heavy on the formalism, needlessly so in places, and also does virtually every proof by "reductio" when (a) he could have proved it directly (which is more interesting) and (b) sometimes he doesn't really do reductios but rather proof by contraposition, or simply assuming ¬p and getting p such that p & ¬p form the contradictory pair (which is not, technically, a reductio), yet he calls them "reductios."