SYSTEMS FOR PROVABILITY AND COUNTERMODEL GENERATION IN PROPOSITIONAL MINIMAL IMPLICATIONAL LOGIC
Jefferson de Barros Santos · 2017
I thank so much my wife, Paula, for all the support during this long journey.I know that even with all my efforts it was not easy to put up with an absent husband in so many important moments.Thank you for staying with me.This period was the richest learning time for us as individuals and as a couple.Thank you for making life always have a motivation, always have something to learn, always have something to change...It is enriching to live beside you