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

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

Grundzüge der theoretischen logik