Thaynara Arielly de Lima

Compactness Theorem for Propositional Logic and Combinatorial Applications

by Fabián Fernando Serran Suárez 📧, Thaynara Arielly de Lima 📧 and Mauricio Ayala-Rincón 📧