Forall X Calgary Remix. An introduction to formal logic. - Magnus P.D.; Button,Tim (2017)