Logic for computer science - Reeves, Steve (Addison-Wesley, 1990)