Sets, Logic, Computation: An Open Introduction to Metalogic
Richard Zach & Open Logic Project
Set Theory. An Open Introduction
Tim Button & Open Logic Project
Incompleteness and Computability: An Open Introduction to Gödel's ...