Introdução à lógica intuicionista (2023)
Unidade: IMESubjects: LÓGICA DE PRIMEIRA ORDEM, LÓGICA INTUICIONISTA, RETICULADOS
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: 10 out. 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 out. 10 ] 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 out. 10 ] Available from: https://www.teses.usp.br/teses/disponiveis/45/45131/tde-03102023-053149/