@inproceedings{inproceedingsbf6ff897,
title   = {Construtibilidade e teoria dos modelos internos},
author = {Campos, Mateus Jesus de Arruda and Fajardo, Rogério Augusto dos Santos},
year = {2025},
publisher = {Sociedade Brasileira de Lógica - SBL},
booktitle   = {Brazilian Logic Conference - EBL 2025}
}