Paso ahora a comentar el manual que el lector tiene en sus manos. Este texto se encarga de sistemas deductivos y está dividido en tres partes, la primera presenta los elementos básicos de la lógica matemática: argumentos, traducción al lenguaje formal y métodos de comprobación. La partes restantes se dedican a la lógica proposicional y al cálculo de predicados de primer orden, los dos sistemas lógicos por excelencia de la lógica matemática.