Jean H.Gallier <br/><br/>
Logic for Computer Science