Introdução à lógica intuicionista (2023)
Almeida, Fellipe Hernandes de; Fajardo, Rogério Augusto dos Santos (Orientador) 
Subjects: LÓGICA DE PRIMEIRA ORDEM, LÓGICA INTUICIONISTA, RETICULADOS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
ALMEIDA, Fellipe Hernandes de. Introdução à lógica intuicionista. 2023. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2023. Disponível em: https://www.teses.usp.br/teses/disponiveis/45/45131/tde-03102023-053149/. Acesso em: 18 jul. 2024.APA
Almeida, F. H. de. (2023). Introdução à lógica intuicionista (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de https://www.teses.usp.br/teses/disponiveis/45/45131/tde-03102023-053149/NLM
Almeida FH de. Introdução à lógica intuicionista [Internet]. 2023 ;[citado 2024 jul. 18 ] Available from: https://www.teses.usp.br/teses/disponiveis/45/45131/tde-03102023-053149/Vancouver
Almeida FH de. Introdução à lógica intuicionista [Internet]. 2023 ;[citado 2024 jul. 18 ] Available from: https://www.teses.usp.br/teses/disponiveis/45/45131/tde-03102023-053149/
