@mastersthesis{mastersthesiscebc0aa1,
title   = {Introdução à lógica intuicionista},
author = {Almeida, Fellipe Hernandes de and Fajardo, Rogério Augusto dos Santos},
year = {2023},
doi = {10.11606/D.45.2023.tde-03102023-053149},
school = {Universidade de São Paulo}
}