Logic An introductory course. - Newton-Smith W H (1985)