@inproceedings{inproceedings1886d417, title = {Teoria de Ramsey: um breve retorno à lógica formal através dos grafos}, author = {Reis, Pedro Lucas Santos dos}, year = {2025}, publisher = {Sociedade Brasileira de Lógica - SBL}, booktitle = {Brazilian Logic Conference - EBL 2025} }