%0 Book %A Magnus, P. D. %A Button, Tim %A Loftis, Robert %A Trueman, Robert %A Thomas Bolduc, Aaron %A Zach, Richard %A Durante, Daniel %A de Medeiros, Maria da Paz Nunes %A Gentil de Araújo Pereira, Ricardo %A de Oliveira Magalhães, Tiago %A Benevides, Hudson %A Cardoso, Jordão %A Benício de Andrade Guimarães, Paulo %A da Silva Cruz Junior, Valdeniz %D 2022 %I PPGFIL-UFRN %T Para Todxs: Natal - uma introdução à lógica formal