​Para Todxs: Natal - uma introdução à lógica formal
link para o GitHub

Autores da edição "forallx: Calgary":

• P. D. Magnus
• Tim Button
• J. Robert Loftis
• Robert Trueman
• Aaron Thomas-Bolduc
• Richard Zach

​

Coletivo de autores da edição "Natal"

• Daniel Durante
• Maria da Paz Nunes de Medeiros
• Ricardo Gentil de Araújo Pereira
• Tiago de Oliveira Magalhães
• ​Hudson Benevides
• Jordão Cardoso​​
• Paulo Benício Andrade Guimarães
• Valdeniz da Silva Cruz Junior