TY  - BOOK
AU  - Hilbet,David
AU  - Ackermann,W.
AU  - Sánchez de Zavala,Victor
TI  - Elementos de lógica teórica
T2  - Estructura y función
SN  - 8430905812
U1  - 511.3 23
PY  - 1975///
CY  - Madrid
PB  - Tecnos
KW  - Lógica matemática y simbólica
KW  - LEMB
N1  - Catalogación basada en la 2a. edición; 1a. edición corresponde al año 1962. 2a. edición corresponde al año 1975; Incluye bibliografía e índice; 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; Grundzüge der theoretischen logik
N2  - La lógica teórica, tambien llamada lógica matemática o simbólica, es una extensión del método formal de la matemática en el campo de la lógica: se aplica en ésta un lenguaje formal semejante al que está en uso desde hace largo tiempo en la expresión de las relaciones matemáticas. Hoy se consideraría una utopía cualquier intento de edificar una disciplina matemática utilizando únicamente el lenguaje usual.
Esta conocida obra surgió de los estudios dedicados por D. Hilbert al cálculo lógico, disciplina que quería emplear para una estructuración de las matemáticas que pusiera de manifiesto su compatibilidad (o sea, ausencia de contradicción). En ella se describen los hechos fundamentales del cálculo lógico en cuatro capítulos, dedicados, respectivamente, al cálculo de proposiciones, al de clases y a los cálculos restringido y generalizado de predicados. Gracias a haberse seleccionado lo esencial y a la claridad de la exposición, este libro es perfectamente legible y instructivo incluso para el profano que quiera familiarizarse con sus fórmulas
ER  -