/LogicNotes

An introductory textbook for first-order logic.

Stargazers