TY  - BOOK
AU  - Nerode,Anil
AU  - Shore,Richard A.
TI  - Logic for applications
T2  - Graduate texts in computer science
SN  - 0387948937 (New York hc acid free paper)
AV  - QA76.9.M35 N47 1997
PY  - 1997///
CY  - New York
PB  - Springer
KW  - Computer science
KW  - Mathematics
KW  - Logic, Symbolic and mathematical
N1  - Incluye referencias bibliográficas (p. 409-438) e índice
ER  -