A first course in formal logic and its applications in computer science - Dowsing, R.D (Blackwell Scientific Publications, 1986)