Logic for Computer Science : - Gallier, Jean H. (Harper & Row computer science and technology series, 1987)