Davis, Ruth E. <br/><br/>
Truth, deduction, and computation :  logic and semantics for computer science 

 - Nueva York :   Computer Scienc 
 - 103 p. 
<br/><br/>Preliminary definitions -- Propositional logic -- Predicate calculus. 
<br/><br/><label>ISBN: </label>0716782014 
<br/><br/><label>Standard No.: </label>DIF-M2890 
<br/><br/><label>Subjects--Topical Terms: </label><br/>LÓGICA MATEMÁTICA