Advanced Logic for Applications

This book is intended to be a survey of the most important results in mathematical logic for philosophers. In addition to proving the most philosophically significant results in mathematical logic, I have attempted to illustrate various methods of proof.