ARTEMOV, Seigei  <br/><br/>
Logical Foundations of Computer Science  

 - Switzerland   Springer International Publishing   2016 
 - x,; 406p. 
<br/><br/><label>ISBN: </label>9783319276823 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer Science 
<br/><br/><label>LC Class. No.: </label>QA75.5.A78