TY  - BOOK
AU  - Davis,Ruth E.
TI  - Truth, deduction, and computation: logic and semantics for computer science
SN  - 0716782014
CY  - Nueva York
PB  -  Computer Scienc
KW  - LÓGICA MATEMÁTICA
N1  -  Preliminary definitions -- Propositional logic -- Predicate calculus
ER  -