Refinar Meus Resultados

Assunto 

1. Lógica Matemática  (1.580)
2. Logic, Symbolic And Mathematical  (474)
3. Lógica Simbólica  (220)
4. Lógica  (207)
5. Matemática  (176)
6. Mathematics  (130)
7. Teoria Dos Conjuntos  (118)
8. Logic  (118)
9. Inteligência Artificial  (111)
10. FILOSOFIA DA MATEMÁTICA  (101)
11. Lógica Matemática (Textos Avançados)  (98)
12. Set Theory  (83)
13. Teoria Dos Modelos  (83)
14. Lógica Matemática (Congressos)  (75)
15. Model Theory  (67)
16. Teoria Da Demonstração  (55)
17. Teoria Dos Conjuntos (Textos Elementares)  (53)
18. Teoria Da Recursão  (50)
19. Lógica Modal  (44)
20. Proof Theory  (42)
21. Mais opções 

Autor/Criador 

1. Gabbay, D  (24)
2. Quine, W  (23)
3. Logic Colloquium  (21)
4. Tarski, A  (21)
5. Barwise, J  (19)
6. Costa, N  (19)
7. Association for Symbolic Logic  (19)
8. Hegenberg, L  (18)
9. Frege, G  (17)
10. Pólya, G  (14)
11. Carnap, R  (13)
12. Suppes, P  (13)
13. Dalen, D  (12)
14. Keisler, H  (12)
15. Carnielli, W  (12)
16. Russell, B  (12)
17. Kleene, S  (12)
18. Hintikka, J  (11)
19. Workshop on Computer Science Logic  (11)
20. American Mathematical Society  (11)
21. Mais opções 

Data de Publicação 

1. Antes de1960  (186)
2. 1960Até1975  (478)
3. 1976Até1991  (414)
4. 1992Até2008  (738)
5. Após 2008  (166)
6. Mais opções 

Biblioteca 

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

Idioma 

1. Inglês  (1.455)
2. Português  (231)
3. Francês  (125)
4. Espanhol  (71)
5. Alemão  (64)
6. Italiano  (26)
7. Holandês  (1)
8. Romeno  (1)
9. Norueguês  (1)
10. Árabe  (1)
11. Russo  (1)
12. No linguistic content  (1)
13. Latim  (1)
14. Mais opções 

Nome da Publicação 

1. Advances in Logic Based Intelligent Systems: Selected Papers of LAPTEC 2005  (2)
2. Lecture Notes in Artificial Intelligence  (2)
3. The Exoteric Square of Opposition  (1)
4. Computing Anticipatory Systems: CASYS'03 - Sixth International Conference  (1)
5. Análise multivariada para os cursos de administração, ciências contábeis e economia  (1)
6. Hyperfinite Dirichlet Forms and Stochastic Processes  (1)
7. Seculo Xix: o Nascimento da Ciencia Contemporanea  (1)
8. Studies in the history of mathematics and physical sciences  (1)
9. Tractatus logico-philosophicus  (1)
10. Compendium of neurosymbolic artificial intelligence  (1)
11. Mais opções