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.