Logic and language models for computer science 

<br/><br/><label>ISBN: </label>0130654876