TY  - BOOK
T1  - Logic for computer science : foundations of automatic theorem proving
A1  - Gallier, Jean H.
LA  - English
PP  - Nueva York
PB  - John Wiley and Sons
YR  - 1987
ED  - 1st ed.
UL  - http://vufind10-pruebas.sigbunlp.bibliotecas.unlp.edu.ar/Record/dif.50374
OP  - 511
SN  - 0471615463
KW  - LÓGICA MATEMÁTICA
KW  - MATEMÁTICA DE LA COMPUTACIÓN
ER  -