Logical Options: An Introduction to Classical and Alternative Logics
"I love this book; I would have written it if I’d known how!" (Richard Jeffrey)"Logic teachers will love this book. Trees are probably the most accessible way to present logical systems to students and Bell, DeVidi and Solomon give tree formulations of a wide range of central logical systems - including truth-functional and quantificational logic, modal logic, provability logic, intuitionistic logic, three-valued logic, and free logic.... An excellent job." (B. Jack Copeland)