Descripción
de Gerold Stahl
consideraciones generales
las bases formales de un sistema exacto
el cálculo de proposiciones
el cálculo de predicados
aplicaciones de la lógica simbólica a la lógica clásica
identidad y descripción
el cálculo de clases
el cálculo elemental de relaciones
las descripciones en el cálculo de relaciones
el cálculo de relaciones
clases y relaciones numéricas
aplicación de la lógica simbólica a las matemáticas
las lógicas no simplemente bivalentes
la metalógica
