Teoria de Ramsey: um breve retorno à lógica formal através dos grafos - Reis, Pedro Lucas Santos dos (Brazilian Logic Conference - EBL 2025, 2025)