Schöning, Uwe <br/><br/>
Logic for Computer Scientists 
by / Schöning, Uwe 
 - Germany  Modern Birkhäuser Classics  2008 
 - 166  24cm 
<br/><br/><br/>English 
<br/><br/><label>ISBN: </label>9780817647629 
<br/><br/><label>Source: </label> PB 
<br/><br/><label>Subjects--Index Terms: </label>Logic, Symbolic and mathematical | Logic programming | Computer science 
<br/><br/><label>Index Terms--Curriculum Objective: </label>--CSE-IT
<br/><br/><label>Dewey Class. No.: </label>511.3  / SCH