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