Refinar Meus Resultados

Tipo de Recurso 

1. Livros  (160)
2. Artigos  (34)
3. Revistas  (5)
4. Mais opções 

Assunto 

1. Lógica Matemática  (155)
2. Logic, Symbolic And Mathematical  (36)
3. Lógica Simbólica  (18)
4. Lógica Matemática (Textos Avançados)  (14)
5. Teoria Dos Conjuntos  (14)
6. Inteligência Artificial  (13)
7. Lógica Matemática (Congressos)  (12)
8. Lógica Modal  (12)
9. Matemática  (11)
10. Teoria Dos Modelos  (11)
11. Mathematics  (10)
12. Set Theory  (10)
13. Logic  (10)
14. Filosofia Da Matemática  (10)
15. Proof Theory  (10)
16. Teoria Da Demonstração  (9)
17. Lógica  (8)
18. Model Theory  (8)
19. Mathematical logic  (8)
20. Sistemas Lógicos Não Clássicos  (7)
21. Mais opções 

Autor/Criador 

1. Mariano, H  (19)
2. Gabbay, D  (12)
3. Pinto, D  (9)
4. World Congress and School on Universal Logic  (8)
5. Brazilian Logic Conference - Encontro Brasileiro de Lógica (EBL)  (8)
6. Barwise, J  (7)
7. Hitchin, N  (5)
8. Davidson, D  (5)
9. Wassermann, R  (5)
10. Association for Symbolic Logic  (5)
11. Miraglia Neto, F  (4)
12. Finger, M  (4)
13. Cooper, S  (3)
14. London Mathematical Society  (3)
15. Ribeiro, M  (3)
16. Wutwak, E  (3)
17. Flajolet, P  (3)
18. van Dalen, D  (3)
19. Silva, S  (3)
20. Wansing, H  (3)
21. Mais opções 

Data de Publicação 

1. Antes de1978  (12)
2. 1978Até1989  (30)
3. 1990Até2000  (49)
4. 2001Até2011  (70)
5. Após 2011  (43)
6. Mais opções 

Biblioteca 

1. IME - Inst. Matemática e Estatística  (160)
2. FFLCH - Fac. Fil. Let. e Ciências Humanas  (52)
3. ICMC - Inst. Ciên. Mat. Computação  (39)
4. FEA - Fac. Econ. Adm. Contab. e Atuária  (10)
5. EPBC - Esc. Politécnica-Bib Central  (8)
6. IFSC - Inst. Física de São Carlos  (4)
7. IF - Instituto de Física  (3)
8. EPELM - Esc. Politécnica-Bib Eng Elet., Mec. e Naval  (2)
9. FFCLRP - Fac. Fil. Ciên. Let. de R. Preto  (2)
10. FSP - Faculdade de Saúde Pública  (1)
11. FMRP - Fac. Medicina de Ribeirão Preto  (1)
12. IP - Instituto de Psicologia  (1)
13. FZEA - Fac. Zoot. Eng. de Alimentos  (1)
14. FE - Faculdade de Educação  (1)
15. Mais opções 

Idioma 

1. Inglês  (197)
2. Alemão  (3)
3. Português  (2)
4. Francês  (1)
5. Polonês  (1)
6. Mais opções 

Nome da Publicação 

1. Book of abstracts  (8)
2. South American Journal of Logic  (5)
3. Handbook of abstracts  (4)
4. Handbook of the 4th World Congress and School on Universal Logic  (3)
5. Proceedings  (3)
6. Lecture Notes in Artificial Intelligence  (2)
7. Archive for Mathematical Logic  (1)
8. Logic Journal of the Igpl  (1)
9. FUNDAMENTA MATHEMATICAE  (1)
10. Pesquisa Agropecuária Tropical  (1)
11. History and Philosophy of Logic  (1)
12. Applied Categorical Structures  (1)
13. Seminário Lógica no Avião: 2013 - 2018  (1)
14. Journal of Machine Learning Research  (1)
15. Handbook of the 5th World Congress and School on Universal Logic  (1)
16. Notre Dame Journal of formal Logic  (1)
17. Manuscrito  (1)
18. Anais  (1)
19. CEUR Workshop Proceedings  (1)
20. Journal of Applied Logics — IFCoLog Journal of Logics and their Applications  (1)
21. Mais opções