Em “Introdução à Lógica Matemática”, Benedito Castrucci responde a pergunta: o que é lógica? Abordando temas como cálculo proposicional, Castrucci viabiliza o conhecimento daquela que é considerada a forma lógica de mais difícil aprendizado pelos estudantes, a lógica matemática. O autor também apresenta uma breve noção sobre axiomatização do cálculo proposicional e validade dos argumentos. Atualmente o livro não é mais editado e os poucos exemplares encontrados à venda são considerados raridades.