TY  - BOOK
AU  - Hilbert,David,1862-1943
TI  - Elementos de lógica teórica
SN  - 8430905812
AV  - BC135 H5.48 1993
PY  - 1993///
CY  - Madrid
PB  - Tecnos
KW  - Lógica simbólica y matemática
ER  -