Refinar Meus Resultados

Tipo de Recurso 

1. Livros  (1.946)
2. Artigos  (123)
3. Produções Acadêmicas  (93)
4. Produções Técnicas  (26)
5. Recursos Textuais  (11)
6. Revistas  (8)
7. Outros  (4)
8. Materiais Didáticos  (1)
9. Mais opções 

Assunto 

1. Lógica Matemática  (1.822)
2. Logic, Symbolic And Mathematical  (476)
3. Lógica  (223)
4. Lógica Simbólica  (221)
5. Matemática  (189)
6. Teoria Dos Conjuntos  (136)
7. Mathematics  (133)
8. Inteligência Artificial  (123)
9. Logic  (122)
10. FILOSOFIA DA MATEMÁTICA  (103)
11. Lógica Matemática (Textos Avançados)  (99)
12. Teoria Dos Modelos  (92)
13. Set Theory  (83)
14. Lógica Matemática (Congressos)  (75)
15. Model Theory  (67)
16. Teoria Da Demonstração  (56)
17. Teoria Dos Conjuntos (Textos Elementares)  (54)
18. Teoria Da Recursão  (50)
19. Lógica Modal  (45)
20. Sistemas Lógicos Não Clássicos  (44)
21. Mais opções 

Autor/Criador 

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

Data de Publicação 

1. Antes de1960  (189)
2. 1960Até1975  (490)
3. 1976Até1991  (467)
4. 1992Até2008  (848)
5. Após 2008  (261)
6. Mais opções 

Biblioteca 

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

Idioma 

1. Inglês  (1.606)
2. Português  (322)
3. Francês  (154)
4. Espanhol  (73)
5. Alemão  (68)
6. Italiano  (28)
7. Indeterminado  (3)
8. Holandês  (1)
9. Romeno  (1)
10. Polonês  (1)
11. Norueguês  (1)
12. Árabe  (1)
13. Russo  (1)
14. No linguistic content  (1)
15. Latim  (1)
16. Mais opções 

Nome da Publicação 

1. Proceedings  (11)
2. Anais  (10)
3. Book of abstracts  (8)
4. Logic Journal of the Igpl  (7)
5. International Journal of Approximate Reasoning  (6)
6. South American Journal of Logic  (5)
7. Bulletin of Symbolic Logic  (5)
8. Theoretical Computer Science  (5)
9. Resumos  (5)
10. Logic Journal of IGPL  (4)
11. Annals of Pure and Applied Logic  (4)
12. Handbook of abstracts  (4)
13. Handbook of the 4th World Congress and School on Universal Logic  (3)
14. Studia Logica  (3)
15. Czechoslovak Mathematical Journal  (2)
16. Maquinas e metais  (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