Title: First-order logic
First published: 1968
Description: Self-contained study guide to quantification theory based on the analytic tableaux.
Subjects: First-order logic, Logic, Symbolic and mathematical, Symbolic and mathematical Logic, Mathematics, Mathematics, general