by Raymond M. Smullyan
Self-contained study guide to quantification theory based on the analytic tableaux.