Resultados de 1 a 10 de 29 para Acervo Físico
Ordenado por:
Ordenado por:
RelevânciaOr hit Enter to replace sort method
- Relevância
- Data mais recente
- Data mais antiga
- Mais acessados
- Autor
- Título
Mostrar Somente
- Recursos Online (28)
| 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 de Congresso
|
|
Horn-geometric axioms for faithfully quadratic ringsHugo Rafael de Oliveira Ribeiro Hugo Luiz Mariano; Brazilian Logic Conference - EBL (19. 2019 João Pessoa)Journal of Applied Logics - IfCoLog Journal of Logics and their Applications London v. 9, n. 1, p. 405-418, 2022London 2022Acesso online. A biblioteca também possui exemplares impressos. |
| 7 |
Material Type: Artigo de Congresso
|
|
An algebraic (set) theory of surreal numbers, IDimi Rocha Rangel Hugo Luiz Mariano; Brazilian Logic Conference - EBL (19. 2019 João Pessoa)Journal of Applied Logics - IfCoLog Journal of Logics and their Applications London v. 9, n. 1, p. 347-403, 2022London 2022Acesso online. A biblioteca também possui exemplares impressos. |
| 8 |
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. |
| 9 |
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. |
| 10 |
Material Type: Artigo de Congresso
|
|
Induced morphisms between Heyting-valued modelsJosé Goudet Alvim Arthur Francisco Schwerz Cahali; Hugo Luiz Mariano; Brazilian Logic Conference - EBL (19. 2019 João Pessoa)Journal of Applied Logics - IfCoLog Journal of Logics and their Applications London v. 9, n. 1, p. 5-40, 2022London 2022Acesso online. A biblioteca também possui exemplares impressos. |
Resultados de 1 a 10 de 29 para Acervo Físico
Ordenado por:
Ordenado por:
RelevânciaOr hit Enter to replace sort method
- Relevância
- Data mais recente
- Data mais antiga
- Mais acessados
- Autor
- Título
Personalize Seus Resultados
Refine Search Results
Mostrar Somente
- Recursos Online (28)
Refinar Meus Resultados
Assunto
- Lógica Matemática (11)
- Lógica (5)
- Teoria Das Categorias (4)
- Lógica Algébrica (4)
- Teoria Dos Conjuntos (3)
- Álgebras De Boole (2)
- Inteligência Artificial (2)
- Anéis E Álgebras Associativos (2)
- Formas Quadráticas (1)
- Anéis E Álgebras Comutativos (1)
- Matemática Aplicada (1)
- Computabilidade E Complexidade (1)
- Probabilidade (1)
- Processamento De Imagens (1)
- Anéis (1)
- Epistemologia (1)
- Revisão De Crenças (1)
- Álgebra Homológica (1)
- Processos Cognitivos (1)
-
Mais opções
Autor/Criador
- Mariano, H (21)
- Brazilian Logic Conference - Encontro Brasileiro de Lógica (EBL) (16)
- Brazilian Logic Conference - EBL (12)
- Pinto, D (5)
- Finger, M (4)
- Brunner, A (3)
- Berni, J (3)
- Mendes, C (3)
- Silva, S (3)
- Alvim, J (2)
- Miraglia Neto, F (2)
- Arndt, P (2)
- Cahali, A (2)
- Wassermann, R (2)
- Arruda, A (2)
- Figueiredo, R (2)
- Villaveces, A (1)
- Stern, J (1)
- Sanz, W (1)
- Ventura, D (1)
-
Mais opções
Idioma
- Inglês (28)
- Português (1)
-
Mais opções
Página Inicial
RSS
Feed
Políticas
Fale Conosco-
Realização:
Logos de Redes Sociais: 