An Introduction to Logical Theory
This book reclaims logic as a branch of philosophy, offering a self-contained and complete introduction to the three traditional systems of classical logic and the philosophical issues that surround those systems. The treatment is conceptually tight: classical logical theory is developed as an attempt to characterize two central notions - logical possibility and demonstrative proof.