Wasilewska, Anita. <br/><br/>
Logics for computer science   : classical and non-classical  

 - Switzerland,  Springer,  2018. 
 - x, 535 p. 
<br/><br/><label>ISBN: </label>9783319925912 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Artificial intelligence.<br/>Computer logic.<br/>Mathematical logic.<br/>Logics and Meanings of Programs.<br/>Artificial Intelligence.<br/>Mathematical Logic and Foundations.
<br/><br/><label>Dewey Class. No.: </label>004.2 WAS/L