This book reclaims logic as a branch of philosophy, offering a self-contained and complete introduction to the three traditional systems of classical logic (term, sentence, and predicate logic) and th
An Introduction to Metalogic is a uniquely accessible introduction to the metatheory of first-order predicate logic. No background knowledge of logic is presupposed, as the book is entirely self-conta
