TY  - BOOK
AU  - Barwise,Jon
TI  - The language of First - order logic
SN  - 937073598
U1  - 001.6425/B289l/08.1.002 
CY  - #¿NOMBRE?
KW  - LENGUAJE PROGRAMACION
ER  -