TY  - BOOK
TI  - Elementos de lógica y calculabilidad
U1  - 511.3 C14e 
ER  -