Introductory logic and formal methods - Heath, David (Alfred Waller Ltd., 1994)