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