Axiomática em Lógica Formal chama nova edição para 2023.

Naquele setembro de 2017, já há meia década, meu livro SISTEMAS AXIOMÁTICOS EM LÓGICA DEDUTIVA (ISBN: 978-85-88925-26-7) recebia a importante certificação como PI (Propriedade Intelectual) pela Biblioteca Nacional do Brasil e integrava o acervo da Produção Nacional de nossa Nação.

DIAS, C. M. C. - 2017

Prêmio imaterial de elevada valoração que muito me alegra e honra. Na obra em referência trato formalmente e com desejável rigor científico a Álgebra do Cálculo Sentencial e do Cálculo dos Predicados para operar (analiticamente) a avaliação técnica de Raciocínios Lógicos tomando por base a Axiomática da Lógica Matemática de Primeira Ordem.

A obra, cuja primeira edição já esgotou há algum tempo, está chamando, devido aos pedidos, uma segunda edição para 2023.

Carlos Magno Corrêa Dias
30/09/2022