Refinar Meus Resultados

Tipo de Recurso 

1. Livros  (65)
2. Artigos  (1)
3. Mais opções 

Assunto 

1. Lógica Matemática  (38)
2. Logic, Symbolic And Mathematical  (12)
3. Lógica Matemática (Congressos)  (10)
4. Lógica Matemática (Textos Avançados)  (9)
5. Inteligência Artificial  (6)
6. Teoria Dos Conjuntos (Textos Avançados)  (6)
7. Set Theory  (5)
8. Proof Theory  (5)
9. Algebraic Logic  (4)
10. Lógica Matemática (Textos Elementares)  (4)
11. Teoria Dos Conjuntos  (4)
12. Lógica Modal  (4)
13. Inteligência Artificial (Congressos)  (4)
14. Logic  (4)
15. Teoria Da Demonstração  (4)
16. Teoria Dos Modelos  (4)
17. Computer Logic  (3)
18. Mathematische Logik  (3)
19. Mathematical Analysis  (3)
20. Automatic Theorem Proving  (3)
21. Mais opções 

Autor/Criador 

1. Gabbay, D  (4)
2. Association for Symbolic Logic  (4)
3. Golinska-Pilarek, J  (2)
4. Leitsch, A  (2)
5. Pillay, A  (2)
6. Orlowska, E  (2)
7. London Mathematical Society  (2)
8. Fulton, W  (2)
9. Goli nska-Pilarek, J  (2)
10. Anand Pillay  (2)
11. Ribet, K  (2)
12. Bollobas, B  (2)
13. Komjáth, P  (1)
14. Lenski, W  (1)
15. Simpson, S  (1)
16. Simon, B  (1)
17. Tourlakis, G  (1)
18. Jech, T  (1)
19. Iovino, J  (1)
20. Bergmann, M  (1)
21. Mais opções 

Data de Publicação 

1. Antes de2002  (6)
2. 2002Até2003  (9)
3. 2004Até2005  (14)
4. 2006Até2008  (23)
5. Após 2008  (19)
6. Mais opções 

Biblioteca 

1. IME - Inst. Matemática e Estatística  (52)
2. FFLCH - Fac. Fil. Let. e Ciências Humanas  (19)
3. ICMC - Inst. Ciên. Mat. Computação  (14)
4. FFCLRP - Fac. Fil. Ciên. Let. de R. Preto  (1)
5. EPELM - Esc. Politécnica-Bib Eng Elet., Mec. e Naval  (1)
6. IFSC - Inst. Física de São Carlos  (1)
7. Mais opções 

Nome da Publicação 

1. Hyperfinite Dirichlet Forms and Stochastic Processes  (1)
2. Manuscrito  (1)
3. Mais opções