@inproceedings{inproceedings84c52bef,
title   = {Uma introdução a técnicas de forcing},
author = {Sia, Maurício Gibertoni and Aurichi, Leandro Fiorini},
year = {2022},
publisher = {ICMC-USP},
booktitle   = {Simpósio de Matemática para a Graduação - SIM}
}