ReP USP - Resultado da busca

Trabalho de evento-resumo
An application of algebraic geometry tools to intuitionistic logic (2025)
Andrade, Mayk de; Mariano, Hugo Luiz ; Amodey, Steven
Source: Book of abstracts. Conference titles: Brazilian Logic Conference - EBL 2025. Unidade: IME
Subjects: GEOMETRIA ALGÉBRICA, LÓGICA INTUICIONISTA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
ANDRADE, Mayk de e MARIANO, Hugo Luiz e AMODEY, Steven. An application of algebraic geometry tools to intuitionistic logic. 2025, Anais.. São Paulo: Sociedade Brasileira de Lógica - SBL, 2025. p. 209-210. Disponível em: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view. Acesso em: 24 abr. 2026.
APA
Andrade, M. de, Mariano, H. L., & Amodey, S. (2025). An application of algebraic geometry tools to intuitionistic logic. In Book of abstracts (p. 209-210). São Paulo: Sociedade Brasileira de Lógica - SBL. Recuperado de https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view
NLM
Andrade M de, Mariano HL, Amodey S. An application of algebraic geometry tools to intuitionistic logic [Internet]. Book of abstracts. 2025 ; 209-210.[citado 2026 abr. 24 ] Available from: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view
Vancouver
Andrade M de, Mariano HL, Amodey S. An application of algebraic geometry tools to intuitionistic logic [Internet]. Book of abstracts. 2025 ; 209-210.[citado 2026 abr. 24 ] Available from: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view
Dissertação (Mestrado)
Introdução à lógica intuicionista (2023)
Almeida, Fellipe Hernandes de; Fajardo, Rogério Augusto dos Santos (Orientador)
Unidade: IME
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://teses.usp.br/teses/disponiveis/45/45131/tde-03102023-053149/. Acesso em: 24 abr. 2026.
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://teses.usp.br/teses/disponiveis/45/45131/tde-03102023-053149/
NLM
Almeida FH de. Introdução à lógica intuicionista [Internet]. 2023 ;[citado 2026 abr. 24 ] Available from: https://teses.usp.br/teses/disponiveis/45/45131/tde-03102023-053149/
Vancouver
Almeida FH de. Introdução à lógica intuicionista [Internet]. 2023 ;[citado 2026 abr. 24 ] Available from: https://teses.usp.br/teses/disponiveis/45/45131/tde-03102023-053149/
Dissertação (Mestrado)
Estados de equilíbrio na teoria quântica em topoi (2020)
Tezzin, Alisson Cordeiro Alves ; De Siqueira Pedra, Walter
Unidade: IF
Subjects: MECÂNICA ESTATÍSTICA QUÂNTICA, LÓGICA INTUICIONISTA, MECÂNICA QUÂNTICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
TEZZIN, Alisson Cordeiro Alves e DE SIQUEIRA PEDRA, Walter. Estados de equilíbrio na teoria quântica em topoi. 2020. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2020. Disponível em: https://www.teses.usp.br/teses/disponiveis/43/43134/tde-28052020-142426/. Acesso em: 24 abr. 2026.
APA
Tezzin, A. C. A., & De Siqueira Pedra, W. (2020). Estados de equilíbrio na teoria quântica em topoi (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de https://www.teses.usp.br/teses/disponiveis/43/43134/tde-28052020-142426/
NLM
Tezzin ACA, De Siqueira Pedra W. Estados de equilíbrio na teoria quântica em topoi [Internet]. 2020 ;[citado 2026 abr. 24 ] Available from: https://www.teses.usp.br/teses/disponiveis/43/43134/tde-28052020-142426/
Vancouver
Tezzin ACA, De Siqueira Pedra W. Estados de equilíbrio na teoria quântica em topoi [Internet]. 2020 ;[citado 2026 abr. 24 ] Available from: https://www.teses.usp.br/teses/disponiveis/43/43134/tde-28052020-142426/
Dissertação (Mestrado)
A lógica institucional da liderança municipal como determinante da prática do Sistema de Controle Interno (2018)
Carvalho, Luciano Bastos de; Aquino, André Carlos Busanelli de (Orientador)
Unidade: FEARP
Subjects: LÓGICA INTUICIONISTA, LEGITIMIDADE DA LEI, MUNICÍPIO, LIDERANÇA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
CARVALHO, Luciano Bastos de. A lógica institucional da liderança municipal como determinante da prática do Sistema de Controle Interno. 2018. Dissertação (Mestrado) – Universidade de São Paulo, Ribeirão Preto, 2018. Disponível em: https://teses.usp.br/teses/disponiveis/96/96133/tde-11062018-150500/. Acesso em: 24 abr. 2026.
APA
Carvalho, L. B. de. (2018). A lógica institucional da liderança municipal como determinante da prática do Sistema de Controle Interno (Dissertação (Mestrado). Universidade de São Paulo, Ribeirão Preto. Recuperado de https://teses.usp.br/teses/disponiveis/96/96133/tde-11062018-150500/
NLM
Carvalho LB de. A lógica institucional da liderança municipal como determinante da prática do Sistema de Controle Interno [Internet]. 2018 ;[citado 2026 abr. 24 ] Available from: https://teses.usp.br/teses/disponiveis/96/96133/tde-11062018-150500/
Vancouver
Carvalho LB de. A lógica institucional da liderança municipal como determinante da prática do Sistema de Controle Interno [Internet]. 2018 ;[citado 2026 abr. 24 ] Available from: https://teses.usp.br/teses/disponiveis/96/96133/tde-11062018-150500/

USP Schools

ReP

Filtros

Authors

Subjects