Core

First-Order Logic: The Foundation of Computational Reasoning

An accessible yet rigorous introduction to First-Order Logic and its role in program verification, automated reasoning, and formal methods