Cover 3

forall x

forall x: Calgary: An Introduction to Formal Logic