First-order logic
by Raymond M. Smullyan · 1968

Popularity 10
Self-contained study guide to quantification theory based on the analytic tableaux.
First-order logicLogic, Symbolic and mathematicalSymbolic and mathematical LogicMathematicsMathematics, general