Mathematical Logic Applications and Theory (Saunders series)

Intended to be used in a first course on mathematical logic for undergraduate students of mathematics, science, computer science, and electrical engineering. Covers the notion of a proof in Sentential Calculus. Acquaints students in Predicate Calculus.