## forallx

the Mississippi State edition

*forallx: the Mississippi State edition* is an open source logic textbook. It covers propositional logic and introduces (although does not cover in as much depth) first-order logic. The textbook is avaialbe as a PDF.
Or a paperback copy can be purchased here.
The source files, which can be downloaded and modified, are available in this GitHub repository.

Further explanation of this textbook is here. A description of the logic system for this textbook that can be used in Carnap is here.