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: 13 fev. 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/viewNLM
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 fev. 13 ] Available from: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/viewVancouver
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 fev. 13 ] Available from: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view
