skip to main content
Idioma:
Primo Advanced Search
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search prefilters
Busca Simples
Resultados 1 2 3 4 5 next page
Mostrar Somente
Refinado por: tipo de recurso: Livros remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Topicos de teoria dos sistemas ordenados
Topicos de teoria dos sistemas ordenados
Material Type:
Livro 		Adicionar ao Meu Espaço

Topicos de teoria dos sistemas ordenados

N A C Costa C Barros; J M Abe

Sao Paulo Iea-Usp 1995

Item não circula. Consulte sua biblioteca.(Acessar)

2
Remarks on analogy
Remarks on analogy
Material Type:
Livro 		Adicionar ao Meu Espaço

Remarks on analogy

N A C Costa A M Sette

Sao Paulo Iea-Usp 1990

Localização: FFLCH - Fac. Fil. Let. e Ciências Humanas    (Costa, N C A doc 51 ) e outros locais(Acessar)

3
Lógica pensamento formal e argumentação
Lógica pensamento formal e argumentação
Material Type:
Livro 		Adicionar ao Meu Espaço

Lógica pensamento formal e argumentação

Alaôr Caffé Alves

São Paulo Quartier Latin 2002

Localização: FD - Fac. Direito    (16 A477L 2.ed. BCI ) e outros locais(Acessar)

4
Set-theoretical foundations of categories in biology
Set-theoretical foundations of categories in biology
Material Type:
Livro 		Adicionar ao Meu Espaço

Set-theoretical foundations of categories in biology

N A C Costa J M Abe; Nelson Papavero 1942-

Sao Paulo Iea-Usp 1991

Item não circula. Consulte sua biblioteca.(Acessar)

5
Two-dimensional executable temporal logic for bitemporal databases
Two-dimensional executable temporal logic for bitemporal databases
Material Type:
Livro 		Adicionar ao Meu Espaço

Two-dimensional executable temporal logic for bitemporal databases

Marcelo Finger Mark Reynolds

Barringer Howard et al, ed Advances in temporal logic Dordrecht : Springer, 2000

Dordrecht Springer 2000

Localização: IME - Inst. Matemática e Estatística    (PROD-1024198 ) e outros locais(Acessar)

6
Automatic theorem proving in paraconsistent logics theory and implementation
Automatic theorem proving in paraconsistent logics theory and implementation
Material Type:
Livro 		Adicionar ao Meu Espaço

Automatic theorem proving in paraconsistent logics theory and implementation

N A C Costa L J Henschen; J J Lu; V S Subrahmanian

São Paulo Iea-Usp 1990

Item não circula. Consulte sua biblioteca.(Acessar)

7
Paralog um prolog paraconsistente baseado em logica anotada
Paralog um prolog paraconsistente baseado em logica anotada
Material Type:
Livro 		Adicionar ao Meu Espaço

Paralog um prolog paraconsistente baseado em logica anotada

Newton Carneiro Affonso da Costa 1929- J P A Prado; Jair Minoro Abe; B C Avila; Márcio Rillo 1953-2010

Sao Paulo Iea-Usp 1995

Item não circula. Consulte sua biblioteca.(Acessar)

8
Topicos de teoria dos sistemas ordenados (1)
Topicos de teoria dos sistemas ordenados (1)
Material Type:
Livro 		Adicionar ao Meu Espaço

Topicos de teoria dos sistemas ordenados (1)

N A C Costa C M Barros; J M Abe

Sao Paulo Iea-Usp 1991

Item não circula. Consulte sua biblioteca.(Acessar)

9
Direito de ser e participar em sao paulo
Direito de ser e participar em sao paulo
Material Type:
Livro 		Adicionar ao Meu Espaço

Direito de ser e participar em sao paulo

Eunice Aparecida de Jesus Prudente

Medina, C; Milton, G, Orgs Sao Paulo : Eca-Usp/Cnpq, 1995 Sobre Vivencias No Mundo do Trabalho

São Paulo Eca-Usp/Cnpq 1995

Item não circula. Consulte sua biblioteca.(Acessar)

10
Este livro encerra parte... [Prefácio]
Este livro encerra parte... [Prefácio]
Material Type:
Livro 		Adicionar ao Meu Espaço

Este livro encerra parte... [Prefácio]

Newton Carneiro Affonso da Costa 1929-

Costa, Newton Carneiro Affonso da; Béziau, Jean-Yves (*); Bueno, Otávio (*) Elementos de teoria paraconsistente de conjuntos Campinas : UNICAMP, Centro de Lógica, Epistemologia e História da Ciências, 1998 Coleção CLE, 23

Campinas UNICAMP, Centro de Lógica, Epistemologia e História da Ciências 1998

Item não circula. Consulte sua biblioteca.(Acessar)

Resultados 1 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Mostrar Somente

  1. Disponível na Biblioteca (4.272)
  2. Recursos Online (219)

Refinar Meus Resultados

Tipo de Recurso 

  1. Recursos Textuais  (4)
  2. Software  (1)
  3. Mais opções open sub menu

Autor/Criador 

  1. Quine, W  (51)
  2. Costa, N  (42)
  3. Frege, G  (35)
  4. Hegenberg, L  (34)
  5. Husserl, E  (33)
  6. Hegel, G  (33)
  7. Gabbay, D  (31)
  8. Nagel, E  (30)
  9. Hintikka, J  (27)
  10. Russell, B  (26)
  11. Tarski, A  (24)
  12. Copi, I  (23)
  13. Barwise, J  (22)
  14. Kant, I  (20)
  15. Abe, J  (20)
  16. Perelman, C  (18)
  17. Cohen, M  (17)
  18. Piaget, J  (17)
  19. Carnielli, W  (17)
  20. Salmon, W  (16)
  21. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1960  (568)
  2. 1960Até1975  (913)
  3. 1976Até1991  (898)
  4. 1992Até2008  (1.639)
  5. Após 2008  (411)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (2.515)
  2. Português  (769)
  3. Francês  (486)
  4. Espanhol  (301)
  5. Alemão  (213)
  6. Italiano  (131)
  7. Latim  (69)
  8. Grego  (5)
  9. Vários idiomas  (4)
  10. Indeterminado  (4)
  11. Árabe  (4)
  12. Russo  (4)
  13. Romeno  (2)
  14. Grego  (2)
  15. Holandês  (1)
  16. Romance (outro)  (1)
  17. Gótico  (1)
  18. Tcheco  (1)
  19. Norueguês  (1)
  20. Catalão  (1)
  21. No linguistic content  (1)
  22. Armênio  (1)
  23. Mais opções open sub menu

Novas Pesquisas Sugeridas

Ignorar minha busca e procurar por tudo

Deste Autor:

  1. Quine, W
  2. Costa, N
  3. Frege, G
  4. Hegenberg, L
  5. Husserl, E

Neste Assunto:

  1. Lógica
  2. Lógica Matemática
  3. Logic, Symbolic And Mathematical
  4. Logic
  5. Lógica Simbólica

  • Realização: ABCD-USP USP   Logos de Redes Sociais: Freepik

Buscando em bases de dados remotas. Favor aguardar.