Sets, Logic, Computation: An Open Introduction to Metalogic
Richard Zach & Open Logic Project
Incompleteness and Computability: An Open Introduction to Gödel's ...
forall x: Calgary. An Introduction to Formal Logic
P. D. Magnus & Tim Button & Rob Trueman & Richard Zach