Luiz B. Castanheira

Luiz Batista Castanheira é um matemático e professor brasileiro, com vasta experiência em Lógica Matemática. Possui graduação em Matemática pela UFSCar, mestrado em Fundamentos da Matemática pela Unesp e doutorado em Geociências e Meio Ambiente. Desde 1982, leciona na Academia da Força Aérea (AFA). Castanheira é autor de obras importantes na área, como "Introdução à lógica matemática", que aborda cálculo proposicional e de predicados, servindo como referência para cursos de graduação e concursos. Sua produção acadêmica foca em textos introdutórios e didáticos sobre os fundamentos da lógica.