A Mathematical Introduction to LogicHerbert B. Enderton · First published 1972 · Latest edition 2000Open the Tome