Logic and language models for computer science 
edited by Richards, Dana and Hamburger, henry 
 - London  World Scientific  2020 
 - 451p. 
<br/><br/><label>ISBN: </label>9780000988850 
<br/><br/><label>Dewey Class. No.: </label>005.13  / RIC.L