TY  - BOOK
AU  - Hilbert, D
AU  - W Ackermann
TI  - Elementos de la lógica teórica
U1  - eco 160 
PY  - 1962///
CY  - Madrid
PB  - Tecnos
KW  - Elementos de la lógica teoríca
KW  - Libros de Texto
N1  - Incluye bibliografía; El cálculo de proposiciones, el cálculo de clases, el cáculo restringido de predicados, el cálculo generalizados de predicados
ER  -