Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Artigo de Congresso
|
Arquitetura comercial paulistanaCamila Faccioni Mendes Heliana Comin Vargas; Simpósio de Iniciação Científica da Universidade de São Paulo (7. 1999 São Paulo)[Resumos] São Paulo : USP, 1999São Paulo USP 1999Localização: CEBIMAR - Centro de Biologia Marinha (CH753.2 13 7:1999 V. 2 ) e outros locais(Acessar) |
|
2 |
Material Type: Artigo de Congresso
|
Poluição visual e paisagem urbanaCamila Faccioni Mendes Heliana Comin Vargas; Simpósio de Iniciação Científica da Universidade de São Paulo (8. 2000 São Paulo)[Resumos] São Paulo : USP, 2000São Paulo USP 2000Localização: EE - Escola de Enfermagem (501 S612s 8. v.1 ) e outros locais(Acessar) |
|
3 |
Material Type: Artigo
|
On sheaves on semicartesian quantales and their truth valuesAna Luiza Tenorio Caio de Andrade Mendes; Hugo Luiz MarianoJournal of Logic and Computation Oxford Publicado online em 2024Oxford 2024Localização: IME - Inst. Matemática e Estatística (PROD-3179605 )(Acessar) |
|
4 |
Material Type: Artigo
|
On categories of quantale valued setsJosé Goudet Alvim Caio de Andrade Mendes; Hugo Luiz MarianoBoletin de Matematicas Bogota v. 30, n. 2, p. 1-7, 2023Bogota 2023Acesso online. A biblioteca também possui exemplares impressos. |
|
5 |
Material Type: Artigo de Congresso
|
Analyzing categories of signaturesCaio A Mendes Hugo Luiz Mariano; Brazilian Logic Conference - EBL (18. (2017 Pirenópolis, Goiás)South American Journal of Logic Campinas v. 4, n. 2, p. 407-421, 2018Campinas 2018Acesso online. A biblioteca também possui exemplares impressos. |
|
6 |
Material Type: Artigo de Congresso
|
Towards a good notion of categories of logicsCaio A Mendes Hugo Luiz Mariano; Brazilian Logic Conference - Encontro Brasileiro de Lógica (EBL) (17th, 2014, Petrópolis)Book of Abstracts Campinas: Sociedade Brasileira de Lógica, 2014Campinas 2014Acesso online. A biblioteca também possui exemplares impressos. |
|
7 |
Material Type: Artigo de Congresso
|
An abstract approach to algebraizable logics with quantifiersCaio de Andrade Mendes Hugo Luiz Mariano; World Congress and School on Universal Logic (6. 2018 Vichy, France)Handbook of abstracts Vichy: Vichy University, 2018Vichy Vichy University 2018Acesso online. A biblioteca também possui exemplares impressos. |
|
8 |
Material Type: Artigo de Congresso
|
Algebraizing higher-order logicsCaio Mendes Hugo Luiz Mariano; Brazilian Logic Conference - Encontro Brasileiro de Lógica (EBL) (19. 2019 João Pessoa)Book of Abstracts João Pessoa : EDUFCG, 2019João Pessoa EDUFCG 2019Acesso online. A biblioteca também possui exemplares impressos. |
|
9 |
Material Type: Artigo de Congresso
|
Towards a good notion of categories of logicsHugo Luiz Mariano Caio de Andrade Mendes; International Conference on Topology, Algebra, and Categories in Logic - TACL (5. (2011 Marseilles)Book of abstracts Marseille : Laboratoire d’Informatique Fondamentale de Marseille - LIF-UMR, 2011Marseille Laboratoire d’Informatique Fondamentale de Marseille - LIF-UMR 2011Acesso online. A biblioteca também possui exemplares impressos. |
|
10 |
Material Type: Artigo de Congresso
|
Analysing categories of signaturesHugo Luiz Mariano Caio de Andrade Mendes; Latin American Symposium on Mathematical Logic - SLALM (15. 2012 Bogota, Colombia)Bulletin of Symbolic Logic New York v. 19, n. 3, p. 421, 2013New York Cambridge University Press 2013Localização: IME - Inst. Matemática e Estatística (PROD-2974619 )(Acessar) |