TY  - BOOK
T1  - Logic in computer science : modelling and reasoning about systems
A1  - Huth, Michael
A2  - Ryan, Mark
LA  - English
PP  - Inglaterra
PB  - Cambridge University Press
YR  - 2004
ED  - 2nd ed.
UL  - https://catalogo.bibliotecas.unlp.edu.ar/Record/dif.52657
OP  - 427
SN  - 9780521543101
KW  - LÓGICA COMPUTACIONAL
ER  -