import Bookshelf.Enderton.Logic.Chapter_1

/-! # A Mathematical Introduction to Logic

## Enderton, Herbert B.

### LaTeX

Full set of [proofs and exercises](Bookshelf/Enderton/Logic.pdf).

### Lean

* [Chapter 1: Sentential Logic](Bookshelf/Enderton/Logic/Chapter_1.html)
-/