TY  - BOOK
T1  - Truth, deduction, and computation : logic and semantics for computer science
A1  - Davis, Ruth E.
LA  - English
UL  - http://vufind10-pruebas.sigbunlp.bibliotecas.unlp.edu.ar/Record/dun.52668
OP  - 103
SN  - 0716782014
KW  - LÓGICA MATEMÁTICA
ER  -