TY - BOOK AU - D. Hilbert y W. Ackerman TI - Elementos de Lógica Teórica U1 - 510.1 / PY - 1962/// CY - Madrid PB - Editorial Tecnos KW - Matemática N1 - Colección Dirigida por: Enrique Tierno Galvan, Traducido por: Victor Sánchez de Zavala N2 - El calculo de proposiciones.-- El cálculo de clases.-- El cálculo restringido de predicados.-- El cálculo generalizado de predicados ER -