Novos Títulos Sobre Lógica Formal em 2013.
Em 2013, estarei publicando três novos livros de minha autoria nos quais trato formalmente questões relacionadas à Teoria da Argumentação, Teoria da Prova e Análise Inferencial no campo da Lógica Formal Dedutiva, quais sejam: 
 (01) SILOGÍSTICA: INTRODUÇÃO À LÓGICA CATEGÓRICA (Terceira Edição), 
ISBN 978-85-88925-16-8; 
 (02) PROBLEMAS E EXERCÍCIOS DE LÓGICA MATEMÁTICA (Segunda Edição), 
ISBN 978-85-88925-17-5; e, 
(03) CÁLCULO LÓGICO INFERENCIAL, 
ISBN 978-85-88925-18-2. 
Carlos Magno Corrêa Dias 
Curitiba-PR, 30/12/2012