Refinar Meus Resultados

Tipo de Recurso 

1. Livros  (1.985)
2. Produções Acadêmicas  (173)
3. Artigos  (155)
4. Produções Técnicas  (26)
5. Revistas  (13)
6. Recursos Textuais  (11)
7. Outros  (4)
8. Produções Artísticas  (1)
9. Materiais Didáticos  (1)
10. Audiovisuais  (1)
11. Mais opções 

Assunto 

1. Lógica Matemática  (1.818)
2. Logic, Symbolic And Mathematical  (478)
3. Lógica  (236)
4. Lógica Simbólica  (221)
5. Matemática  (218)
6. Inteligência Artificial  (140)
7. Mathematics  (137)
8. Teoria Dos Conjuntos  (137)
9. Logic  (126)
10. FILOSOFIA DA MATEMÁTICA  (105)
11. Lógica Matemática (Textos Avançados)  (99)
12. Teoria Dos Modelos  (93)
13. Set Theory  (83)
14. Lógica Matemática (Congressos)  (75)
15. Model Theory  (68)
16. Teoria Da Demonstração  (55)
17. Teoria Dos Conjuntos (Textos Elementares)  (54)
18. Teoria Da Recursão  (50)
19. Lógica Modal  (45)
20. Proof Theory  (42)
21. Mais opções 

Autor/Criador 

1. Costa, N  (46)
2. Finger, M  (33)
3. Mariano, H  (32)
4. Wassermann, R  (27)
5. Gabbay, D  (25)
6. Miraglia Neto, F  (24)
7. Quine, W  (23)
8. Logic Colloquium  (21)
9. Bianconi, R  (21)
10. Tarski, A  (21)
11. Barwise, J  (19)
12. Association for Symbolic Logic  (19)
13. Hegenberg, L  (18)
14. Frege, G  (17)
15. Carnielli, W  (17)
16. Abe, J  (14)
17. Keisler, H  (12)
18. Kleene, S  (12)
19. Dalen, D  (11)
20. Pinto, D  (11)
21. Mais opções 

Data de Publicação 

1. Antes de1960  (195)
2. 1960Até1975  (506)
3. 1976Até1991  (489)
4. 1992Até2008  (897)
5. Após 2008  (326)
6. Mais opções 

Biblioteca 

1. IME - Inst. Matemática e Estatística  (1.512)
2. ICMC - Inst. Ciên. Mat. Computação  (639)
3. FFLCH - Fac. Fil. Let. e Ciências Humanas  (490)
4. FEA - Fac. Econ. Adm. Contab. e Atuária  (234)
5. EPBC - Esc. Politécnica-Bib Central  (118)
6. IFSC - Inst. Física de São Carlos  (112)
7. IF - Instituto de Física  (95)
8. FE - Faculdade de Educação  (88)
9. EPELM - Esc. Politécnica-Bib Eng Elet., Mec. e Naval  (35)
10. FFCLRP - Fac. Fil. Ciên. Let. de R. Preto  (34)
11. IP - Instituto de Psicologia  (31)
12. IAG - Inst. Ast. Geo. Ciên. Atmosféricas  (27)
13. FD - Fac. Direito  (26)
14. CDCC - Cent. Div. Científica e Cultural  (20)
15. FSP - Faculdade de Saúde Pública  (17)
16. EACH - Esc. Artes, Ciências e Humanidades  (16)
17. ESALQ - Biblioteca Central  (16)
18. CQ - Conjunto das Químicas  (13)
19. EEL - Biotecnologia e Química  (13)
20. EERP - Esc. Enfermagem Ribeirão Preto  (13)
21. Mais opções 

Idioma 

1. Inglês  (1.622)
2. Português  (448)
3. Francês  (155)
4. Espanhol  (81)
5. Alemão  (68)
6. Italiano  (36)
7. Indeterminado  (4)
8. Holandês  (1)
9. Romance (outro)  (1)
10. Romeno  (1)
11. Polonês  (1)
12. Norueguês  (1)
13. Árabe  (1)
14. Russo  (1)
15. No linguistic content  (1)
16. Latim  (1)
17. Mais opções 

Nome da Publicação 

1. Anais  (16)
2. Proceedings  (9)
3. Book of Abstracts  (8)
4. Logic Journal of the IGPL  (7)
5. Resumos  (7)
6. International Journal of Approximate Reasoning  (6)
7. South American Journal of Logic  (5)
8. Bulletin of Symbolic Logic  (5)
9. Theoretical Computer Science  (5)
10. Logic Journal of IGPL  (4)
11. Annals of Pure and Applied Logic  (4)
12. Studia Logica  (4)
13. Handbook of abstracts  (4)
14. Handbook of the 4th World Congress and School on Universal Logic  (3)
15. Logica Universalis  (3)
16. Czechoslovak Mathematical Journal  (2)
17. Advances in Logic Based Intelligent Systems: Selected Papers of LAPTEC 2005  (2)
18. Journal of Symbolic Logic  (2)
19. Boletim da Sociedade Paranaense de Matemática  (2)
20. Lecture Notes in Artificial Intelligence  (2)
21. Mais opções