Logic: an introductory course - Newton-Smith W H (1994)