O método das constantes na teoria dos modelos em feixes sobre uma álgebra de Heyting (2000)
Unidade: IMESubjects: LÓGICA MATEMÁTICA, TEORIA DOS MODELOS
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: 30 set. 2024.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 2024 set. 30 ] 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 2024 set. 30 ] Available from: https://teses.usp.br/teses/disponiveis/45/45131/tde-20210729-123425/