A obra LÓGICA para CIÊNCIA da COMPUTAÇÃO e ÁREAS AFINS: uma introdução concisa sobre os fundamentos da Lógica, lançado dia 11 de setembro de 2020, de autoria do prof. João Nunes de Souza, está disponível para download.