Resultados de 1 a 10 de 78 para Acervo Físico
- Relevância
- Data mais recente
- Data mais antiga
- Mais acessados
- Autor
- Título
- Disponível na Biblioteca (77)
- Recursos Online (11)
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 1 |
Material Type: Livro
|
|
Many-Dimensional Modal Logics: Theory and ApplicationsA. Kurucz Dov M Gabbay; F Wolter; M ZakharyaschevElsevier 2003Acesso online. A biblioteca também possui exemplares impressos. |
| 2 |
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. |
| 3 |
Material Type: Artigo de Congresso
|
|
Alguns apontamentos sobre multi-álgebra universalKaique Roberto 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. |
| 4 |
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. |
| 5 |
Material Type: Artigo
|
|
Fibring and sheavesPeter Arndt R. A Freire; Odilon Otavio Luciano; Hugo Luiz MarianoCLE e-Prints Campinas v. 5, n. 10, p. 1-20, 2005Campinas 2005Acesso online. A biblioteca também possui exemplares impressos. |
| 6 |
Material Type: Livro
|
|
Reconciling first-order logic to algebraWalter Alexandre Carnielli Hugo Luiz Mariano; Mariana MatulovicCarnielli Walter; Malinowski, Jacek, ed Contradictions, from consistency to inconsistency Cham : Springer, 2018Cham Springer 2018Localização: IME - Inst. Matemática e Estatística (PROD-2974223 )(Acessar) |
| 7 |
Material Type: Dissertação de Mestrado
|
|
Completamento e decidibilidadeBrasil Terra Leme Mario Tourasse Teixeira1972Localização: ICMC - Inst. Ciên. Mat. Computação (T L551c e.1 ) e outros locais(Acessar) |
| 8 |
Material Type: Livro
|
|
Sur les algèbres de HilbertAntonio Diego Luisa IturriozParis Gauthier Villars 1966Localização: IME - Inst. Matemática e Estatística (QA11.3 D559sF e.2 ) e outros locais(Acessar) |
| 9 |
Material Type: Livro
|
|
The mathematics of metamathematicsHelena Rasiowa Roman SikorskiWarszawa Pwn 1968Emprestado de IME - Inst. Matemática e Estatística (QA11.3 R224m 2.ed. e.1 )(Acessar) |
| 10 |
Material Type: Livro
|
|
Ordinal algebrasAlfred TarskiAmsterdam North-Holland 1953Localização: IME - Inst. Matemática e Estatística (QA11.3 T193o )(Acessar) |
Resultados de 1 a 10 de 78 para Acervo Físico
- Relevância
- Data mais recente
- Data mais antiga
- Mais acessados
- Autor
- Título
Personalize Seus Resultados
Refine Search Results
Mostrar Somente
- Disponível na Biblioteca (77)
- Recursos Online (11)
Refinar Meus Resultados
Tipo de Recurso
- Livros (58)
- Artigos (12)
- Produções Acadêmicas (6)
- Produções Técnicas (1)
- Revistas (1)
-
Mais opções
Assunto
- Lógica Algébrica (53)
- Lógica Matemática (44)
- Álgebra (20)
- Algebraic Logic (16)
- Álgebras De Boole (13)
- Geometria Algébrica (11)
- Reticulados (8)
- Teoria Dos Modelos (8)
- Algebra, Boolean (7)
- Lógica Matemática (Congressos) (6)
- Lattice Theory (6)
- Lógica Algébrica (Congressos) (5)
- Model Theory (5)
- Teoria Dos Números (5)
- Geometry, Algebraic (5)
- Logic, Symbolic And Mathematical (4)
- Lógica Categórica (4)
- Lógica Simbólica (4)
- Feixes (3)
- Lógica Modal (3)
-
Mais opções
Autor/Criador
- Mariano, H (13)
- Arndt, P (5)
- Pinto, D (5)
- Rasiowa, H (4)
- Craig, W (3)
- Miraglia Neto, F (3)
- Brazilian Logic Conference - Encontro Brasileiro de Lógica (EBL) (3)
- Halmos, P (3)
- Sikorski, R (3)
- Hailperin, T (2)
- Gabbay, D (2)
- Kuntzmann, J (2)
- Stoll, R (2)
- International Workshop on Applications of Kleene Algebra (2)
- Tarski, A (2)
- Hermes, H (1)
- Schmidt, R (1)
- Bianconi, R (1)
- Cirulis, J (1)
- Iturrioz, L (1)
-
Mais opções
Data de Publicação
- Antes de1966 (13)
- 1966Até1978 (14)
- 1979Até1995 (9)
- 1996Até2005 (18)
- Após 2005 (24)
-
Mais opções
Biblioteca
- IME - Inst. Matemática e Estatística (68)
- ICMC - Inst. Ciên. Mat. Computação (19)
- FFLCH - Fac. Fil. Let. e Ciências Humanas (9)
- IF - Instituto de Física (6)
- FEA - Fac. Econ. Adm. Contab. e Atuária (4)
- IAG - Inst. Ast. Geo. Ciên. Atmosféricas (2)
- ECA - Escola de Comunicações e Artes (1)
- FFCLRP - Fac. Fil. Ciên. Let. de R. Preto (1)
- EPELM - Esc. Politécnica-Bib Eng Elet., Mec. e Naval (1)
- EPBC - Esc. Politécnica-Bib Central (1)
-
Mais opções
Idioma
- Inglês (66)
- Português (7)
- Francês (5)
- Alemão (2)
-
Mais opções
Nome da Publicação
- Book of abstracts (3)
- Archive for Mathematical Logic (1)
- CLE e-prints (1)
- South American Journal of Logic (1)
- Contradictions, from consistency to inconsistency (1)
- Logic Journal of the Igpl (1)
- Boletin de matematicas (1)
- Physica A: Statistical Mechanics and its Applications (1)
- Studia Logica (1)
- Latin American Journal of Mathematics (1)
- Applied Categorical Structures (1)
- Methods and applications of mathematical logic (1)
-
Mais opções
Página Inicial
RSS
Feed
Políticas
Fale Conosco-
Realização:
Logos de Redes Sociais: 