TY  - BOOK
AU  - Hilbert, D.
AU  - W., Ackermann
TI  - Elementos de lógica teórica
CY  - Madrid
KW  - LOGICA PREPOCISIONAL; LOGICA-TEORIA; CALCULO LOGICO
ER  -