##### Compactness Theorem for Propositional Logic and Combinatorial Applications

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

AMS: Mathematical logic and foundations / General logic / Classical propositional logic

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