TY - BOOK AU - Hilbert, DavidAckermann, W TI - Elementos de logica teorica U1 - 511.3 HIL PY - 1962/// CY - Madrid-ES PB - Tecnos KW - LOGICA MATEMATICA ER -