Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Artigo de Congresso
|
![]() |
On rings of fractions of reduced f-rings by non zero-divisorsFrancisco Miraglia Neto Brazilian Logic Conference - EBL (18. (2017 Pirenópolis, Goiás)South American Journal of Logic Campinas v. 4, n. 2, p. 423-440, 2018Campinas 2018Acesso online. A biblioteca também possui exemplares impressos. |
2 |
Material Type: Artigo de Congresso
|
![]() |
Classifying toposes for some theories of 'C POT. ∞'−ringsJean Cerqueira Berni Hugo Luiz Mariano; Brazilian Logic Conference - EBL (18. (2017 Pirenópolis, Goiás)South American Journal of Logic Campinas v. 4, n. 2, p. 313–350, 2018Campinas 2018Acesso online. A biblioteca também possui exemplares impressos. |
3 |
Material Type: Artigo de Congresso
|
![]() |
On the uncomputability of partial meet contraction for linear-time temporal logicPaulo T Guerra Renata Wassermann; Brazilian Logic Conference - EBL (18. (2017 Pirenópolis, Goiás)South American Journal of Logic Campinas v. 4, n. 2, p. 385-406, 2018Campinas 2018Acesso online. A biblioteca também possui exemplares impressos. |
4 |
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. |
5 |
Material Type: Artigo de Congresso
|
![]() |
Remarks on expansions of the real field Tameness, Hardy fields and smooth ringsRodrigo Figueiredo Hugo Luiz Mariano; Brazilian Logic Conference - EBL (18. (2017 Pirenópolis, Goiás)South American Journal of Logic Campinas v. 4, n. 2, p. 373-383, 2018Campinas 2018Acesso online. A biblioteca também possui exemplares impressos. |
6 |
Material Type: Artigo
|
![]() |
Proceedings of the XVIII Brazilian Logic Conference. [Preface]Jonas R. Becker Arenhart Hugo Luiz Mariano; Wagner C Sanz; Daniel Ventura; Brazilian Logic Conference - EBL (18. (2017 Pirenópolis, Goiás)South American Journal of Logic Campinas v. 4, n. 2, p. 253–256, 2018Campinas 2018Acesso online. A biblioteca também possui exemplares impressos. |
7 |
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. |
8 |
Material Type: Artigo de Congresso
|
![]() |
More on categorial forms of the axiom of choiceAndreas Bernhard Michael Brunner Hugo Luiz Mariano; Darllan Conceição Pinto; Samuel G. da Silva; Brazilian Logic Conference - EBL (18. (2017 Pirenópolis, Goiás)South American Journal of Logic Campinas v. 4, n. 2, p. 351–372, 2018Campinas 2018Acesso online. A biblioteca também possui exemplares impressos. |