skip to main content
Resultados 1 2 3 4 5 next page
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Labelled Non-Classical Logics
Labelled Non-Classical Logics
Material Type:
Livro
Adicionar ao Meu Espaço

Labelled Non-Classical Logics

Viganò Luca Viganò

Springer US 2000

Acesso online. A biblioteca também possui exemplares impressos.

2
Matrix Logic
Matrix Logic
Material Type:
Livro
Adicionar ao Meu Espaço

Matrix Logic

August Stern

North-Holland 1988

Acesso online. A biblioteca também possui exemplares impressos.

3
Computability, Enumerability, Unsolvability: Directions in recursion theory
Computability, Enumerability, Unsolvability: Directions in recursion theory
Material Type:
Livro
Adicionar ao Meu Espaço

Computability, Enumerability, Unsolvability: Directions in recursion theory

S. C. Bruce, J. W. Coutinho S. B Cooper; S. Barry Cooper; T. A Slaman; Theodore Allen Slaman; S. S Wainer S. S. Wainer T. A. Slaman

Cambridge Cambridge University Press 1996

Acesso online. A biblioteca também possui exemplares impressos.

4
Advances in Linear Logic
Advances in Linear Logic
Material Type:
Livro
Adicionar ao Meu Espaço

Advances in Linear Logic

Jean-Yves Lafont, Yves Regnier, Laurent Girard J Coates; Jean-Yves Girard; Yves Lafont; Laurent Regnier Laurent Regnier Yves Lafont; N. J Hitchin

Cambridge Cambridge University Press 1995

Acesso online. A biblioteca também possui exemplares impressos.

5
Computability, Complexity, Logic
Computability, Complexity, Logic
Material Type:
Livro
Adicionar ao Meu Espaço

Computability, Complexity, Logic

Egon Börger E Börger; E B Rger

Elsevier 1989

Acesso online. A biblioteca também possui exemplares impressos.

6
Southeast Asian Conference on Logic
Southeast Asian Conference on Logic
Material Type:
Livro
Adicionar ao Meu Espaço

Southeast Asian Conference on Logic

Southeast Asian Conference on Logic C.-T Chong; Chi-Tat Chong; M.J Wicks; Malcolm John Wicks

Elsevier 1983

Acesso online. A biblioteca também possui exemplares impressos.

7
Material Type:
Tese de Doutorado
Adicionar ao Meu Espaço

A lógica nebulosa (fuzzy logic) aplicada na contabilidade: um modelo para os julgamentos de materialidade no planejamento da auditoria

Borba, José Alonso

Biblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Faculdade de Economia, Administração e Contabilidade 2001-10-01

Acesso online. A biblioteca também possui exemplares impressos.

8
Varieties of Constructive Mathematics
Varieties of Constructive Mathematics
Material Type:
Livro
Adicionar ao Meu Espaço

Varieties of Constructive Mathematics

Douglas S. Bridges Fred Richman; Allan M Sinclair Fred Richman; N. J Hitchin

Cambridge Cambridge University Press 1987

Acesso online. A biblioteca também possui exemplares impressos.

9
Recursive Functionals
Recursive Functionals
Material Type:
Livro
Adicionar ao Meu Espaço

Recursive Functionals

Luis E. Sanchis L.E Sanchis

Elsevier 1992

Acesso online. A biblioteca também possui exemplares impressos.

10
Bounded Arithmetic, Propositional Logic, and Complexity Theory
Bounded Arithmetic, Propositional Logic, and Complexity Theory
Material Type:
Livro
Adicionar ao Meu Espaço

Bounded Arithmetic, Propositional Logic, and Complexity Theory

Jan Krajicek Cambridge University Press.; B Doran; Philippe Flajolet; M Ismail; T. Y Lam; E Lutwak; Gian-Carlo Rota; E Wutwak

Cambridge Cambridge University Press 1995

Acesso online. A biblioteca também possui exemplares impressos.

Resultados 1 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Recursos Online (84.973)
  2. Revistas revisadas por pares (64.092)
  3. Disponível na Biblioteca (844)

Data de Publicação 

De até
  1. Antes de1959  (1.061)
  2. 1959Até1974  (2.874)
  3. 1975Até1990  (7.092)
  4. 1991Até2007  (19.334)
  5. Após 2007  (57.188)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (85.232)
  2. Japonês  (3.379)
  3. Espanhol  (199)
  4. Alemão  (194)
  5. Francês  (160)
  6. Português  (124)
  7. Chinês  (80)
  8. Italiano  (63)
  9. Russo  (49)
  10. Catalão  (45)
  11. Norueguês  (10)
  12. Turco  (10)
  13. Croatian  (10)
  14. Polonês  (9)
  15. Ucraniano  (7)
  16. Indonésio  (6)
  17. Letão  (5)
  18. Esloveno  (4)
  19. Persa  (4)
  20. Latim  (3)
  21. Romeno  (3)
  22. Holandês  (3)
  23. Indeterminado  (2)
  24. Mais opções open sub menu

Novas Pesquisas Sugeridas

Ignorar minha busca e procurar por tudo

Deste Autor:

  1. Quine, W
  2. Logic Colloquium
  3. Association for Symbolic Logic
  4. Frege, G
  5. Wittgenstein, L

Buscando em bases de dados remotas. Favor aguardar.