Hilbert, D. Elementos de lógica teórica - 4a. ed. - 213 p. 24 cm. 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. Universal Decimal Class. No.: 510.6 Lógica matemática