Thaynara Arielly de Lima

Countable Infinite Version of Dilworth's Theorem

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

Compactness Theorem for Propositional Logic and Combinatorial Applications

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