Prólogo del traductor, p. 9 Prefacio del autor a la edición española, p. 13 Primera parte. Ámbito y caracteres de la investigación lógica I. El problema del conocimiento mediato, p. 23 II. Las estructuras formales de la deducción, p. 35 Segunda parte. Momentos de la historia de la lógica III. De la lógica formal a la lógica matemática, p. 49 IV. El desarrollo del planteamiento simbólico, p. 72 V. El estado actual de las investigaciones lógicas, p. 114 Tercera parte. Exposición de sistemas simbólicos VI. Introducción a los cálculos lógicos, p. 151 VII. El cálculo proposicional o de enunciados, p. 164 VIII. El cálculo de predicados de primer orden, p. 217 Cuarta parte. Cuestiones metateoréticas IX. Consistencia, completitud e independencia de un sistema axiomático, p. 239 X. La lógica y la verdad, p. 256 Quinta parte. Complementos XI. La deducción y el teorema de deducción, p. 275 XII. Alusiones a otros cálculos lógicos, p. 283 XIII. Consideración sintética de los puntos de vista alcanzados, p. 293 Bibliografía, p. 331 Apéndice del traductor, con la notación polaca, p. 337 Índice analítico, p. 347 Índice de nombres, p. 350