First-Order Logic and Automated Theorem Proving

This graduate-level text presents fundamental concepts and results of classical logic in a rigorous mathematical style. This new edition includes material on AE calculus, Herbrands theorem, Gentzens theorem, and related topics.