Analysis And Synthesis Of Logics by Walter A. Carnielli, Marcelo Coniglio & Professor Dov M. Gabbay