TY  - GEN
AU  - Hilbert,D.
AU  - Ackermann,W.
TI  - Elementos de lógica teórica
PY  - 1962///
CY  - Madrid
PB  - Tecnos
N1  - 1. El cálculo de proposiciones – 2. El cálculo de clases – 3. El cálculo restringido de predicados -4. El cálculo generalizado de predicados
ER  -