Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Artigo
|
Horn filter pairs and Craig interpolation in propositional logicPeter Arndt Hugo Luiz Mariano; Darllan Conceição PintoBoletin de Matematicas Bogota v. 30, n. 2, p. 1-5, 2023Bogota 2023Acesso online. A biblioteca também possui exemplares impressos. |
|
2 |
Material Type: Artigo
|
Filter pairs and natural extensions of logicsPeter Arndt Hugo Luiz Mariano; Darllan Conceição PintoArchive for Mathematical Logic Berlin v. 62, n. 1-2, p. 113-145, 2023Berlin 2023Localização: IME - Inst. Matemática e Estatística (PROD-3114915 )(Acessar) |
|
3 |
Material Type: Artigo de Congresso
|
Horn filter pairs and Craig interpolation propertyPeter Arndt Hugo Luiz Mariano; Darllan Conceição Pinto; 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. |
|
4 |
Material Type: Artigo de Congresso
|
Filter pairs a new way of presenting logicsPeter Arndt Ramon Jansana; Hugo Luiz Mariano; Darllan Conceição Pinto; 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. |
|
5 |
Material Type: Artigo de Congresso
|
Finitary filter pairs and propositional logicsPeter Arndt Hugo Luiz Mariano; Darllan Conceição Pinto; Brazilian Logic Conference - EBL (18. (2017 Pirenópolis, Goiás)South American Journal of Logic Campinas v. 4, n. 2, p. 257–280, 2018Campinas 2018Acesso online. A biblioteca também possui exemplares impressos. |
|
6 |
Material Type: Artigo de Congresso
|
κ-filter pairs and non-finitary logicsPeter Arndt Hugo Luiz Mariano; Darllan Conceição Pinto; 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. |
|
7 |
Material Type: Dissertação de Mestrado
|
Teoria de ponto fixo para espaços homogêneosKwiatkoski, Diego FranchiniBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Matemática e Estatística 2010-12-10Acesso online. A biblioteca também possui exemplares impressos. |
|
8 |
Material Type: Tese de Doutorado
|
Teoria de Nielsen de raizes para aplicações equivariantesSantos, Hildebrane Augusto DosBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Matemática e Estatística 2009-02-19Acesso online. A biblioteca também possui exemplares impressos. |
|
9 |
Material Type: Artigo
|
Equivariant path fields on topological manifoldsLucilia Daruiz Borsari Fernanda Soares Pinto Cardona; Peter Negai-Sing WongTopological Methods in Nonlinear Analysis Torun v. 33, n. 1, p. 1-15, 2009Torun 2009Localização: IME - Inst. Matemática e Estatística (PROD-1798622 )(Acessar) |
|
10 |
Material Type: Artigo
|
The relative Reidemeister numbers of fiber map pairsFernanda Soares Pinto Cardona Peter Negai-Sing WongTopological Methods in Nonlinear Analysis Toruń d. 21, p. 131-145, 2003Toruń 2003Localização: IME - Inst. Matemática e Estatística (PROD-1367871 )(Acessar) |