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