O método das constantes na teoria dos modelos em feixes sobre uma álgebra de Heyting (2000)
Brunner, Andreas Bernhard Michael; Miraglia Neto, Francisco (Orientador) 
Assuntos: LÓGICA MATEMÁTICA, TEORIA DOS MODELOS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
BRUNNER, Andreas Bernhard Michael. O método das constantes na teoria dos modelos em feixes sobre uma álgebra de Heyting. 2000. Tese (Doutorado) – Universidade de São Paulo, São Paulo, 2000. Disponível em: https://teses.usp.br/teses/disponiveis/45/45131/tde-20210729-123425/. Acesso em: 24 nov. 2025.APA
Brunner, A. B. M. (2000). O método das constantes na teoria dos modelos em feixes sobre uma álgebra de Heyting (Tese (Doutorado). Universidade de São Paulo, São Paulo. Recuperado de https://teses.usp.br/teses/disponiveis/45/45131/tde-20210729-123425/NLM
Brunner ABM. O método das constantes na teoria dos modelos em feixes sobre uma álgebra de Heyting [Internet]. 2000 ;[citado 2025 nov. 24 ] Available from: https://teses.usp.br/teses/disponiveis/45/45131/tde-20210729-123425/Vancouver
Brunner ABM. O método das constantes na teoria dos modelos em feixes sobre uma álgebra de Heyting [Internet]. 2000 ;[citado 2025 nov. 24 ] Available from: https://teses.usp.br/teses/disponiveis/45/45131/tde-20210729-123425/
