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