Images for Logic: an introductory course/ NEWTON-SMITH, W.H.