Set Theory. An Open Introduction
Tim Button & Open Logic Project
forall x: Calgary. An Introduction to Formal Logic
P. D. Magnus & Tim Button & Rob Trueman & Richard Zach