A Mathematical Introduction to Logic

Enderton, Herbert B.

LaTeX

Full set of proofs and exercises.

Lean

• Chapter 1: Sentential Logic