Raymond M. Smullyan, First-Order Logic:  Chapter II. Analytic Tableaux