skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Mostrar Somente
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Sobre a logica discursiva de jaskowski
Sobre a logica discursiva de jaskowski
Material Type:
Dissertação de Mestrado 		Adicionar ao Meu Espaço

Sobre a logica discursiva de jaskowski

Lafayette de Moraes Newton Carneiro Affonso da Costa 1929-

1970

Localização: IME - Inst. Matemática e Estatística    (QA9.1.T M827s )(Acessar)

2
Finite decidability and polynomials
Finite decidability and polynomials
Material Type:
Relatório Técnico 		Adicionar ao Meu Espaço

Finite decidability and polynomials

Manuel Valentim de Pera Garcia

São Paulo IME-USP 1994

Localização: IME - Inst. Matemática e Estatística    (IME-RT-MA QA700.RT I59 1994 v.3 e.1 ) e outros locais(Acessar)

3
Cálculo virtual - Parte II
Cálculo virtual - Parte II
Material Type:
Relatório Técnico 		Adicionar ao Meu Espaço

Cálculo virtual - Parte II

Sergio Ferreira Cortizo

São Paulo IME-USP 1995

Localização: IME - Inst. Matemática e Estatística    (IME-RT-M QA10.9.RT I591 1995 v.30 e.1 ) e outros locais(Acessar)

4
Iniciação a lógica matemática
Iniciação a lógica matemática
Material Type:
Livro 		Adicionar ao Meu Espaço

Iniciação a lógica matemática

Edgard de Alencar Filho 1913-

São Paulo Nobel 1984

Localização: EEL - Biotecnologia e Química    (517.11 A125e 15ed. ex.5 ) e outros locais(Acessar)

5
Introdução a lógica matemática
Introdução a lógica matemática
Material Type:
Livro 		Adicionar ao Meu Espaço

Introdução a lógica matemática

Benedito Castrucci 1909-1995 G.E.E.M

São Paulo Nobel 1973

Localização: ICMC - Inst. Ciên. Mat. Computação    (03-01 C355i e.1 ) e outros locais(Acessar)

6
Mathematical Introduction to Logic
Mathematical Introduction to Logic
Mathematical Introduction to Logic
Material Type:
Livro 		Adicionar ao Meu Espaço

Mathematical Introduction to Logic

Herbert B. Enderton

Burlington Academic Press 2001

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

7
Recursion Theory: its Generalisations and Applications
Recursion Theory: its Generalisations and Applications
Material Type:
Livro 		Adicionar ao Meu Espaço

Recursion Theory: its Generalisations and Applications

Logic Colloquium F. R Drake; Frank Robert Drake; S. S Wainer S. S. Wainer; London Mathematical Society.

Cambridge Cambridge University Press 1980

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

8
The Syntax and Semantics of Infinitary Languages
The Syntax and Semantics of Infinitary Languages
Material Type:
Livro 		Adicionar ao Meu Espaço

The Syntax and Semantics of Infinitary Languages

Jon Barwise

Springer Berlin Heidelberg 1968

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

9
Model completeness results for elliptic and abelian functions
Model completeness results for elliptic and abelian functions
Material Type:
Relatório Técnico 		Adicionar ao Meu Espaço

Model completeness results for elliptic and abelian functions

Ricardo Bianconi

São Paulo IME-USP 1990

Localização: IME - Inst. Matemática e Estatística    (IME-RT-M QA10.7.RT I591 1990 v.6 e.1 ) e outros locais(Acessar)

10
A note on k-decidability
A note on k-decidability
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

A note on k-decidability

Manuel Valentim de Pera Garcia Congresso Nacional de Matematica Aplicada e Computacional (10. 1987 Gramado)

Resumos Gramado : Sbmac, 1987

Gramado Sbmac 1987

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

Resultados 1 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Mostrar Somente

  1. Disponível na Biblioteca (2.137)
  2. Recursos Online (200)

Refinar Meus Resultados

Tipo de Recurso 

  1. Livros  (1.944)
  2. Artigos  (121)
  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 open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1960  (189)
  2. 1960Até1975  (489)
  3. 1976Até1991  (467)
  4. 1992Até2008  (846)
  5. Após 2008  (260)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (1.602)
  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 open sub menu

Novas Pesquisas Sugeridas

Ignorar minha busca e procurar por tudo

Deste Autor:

  1. Costa, N
  2. Mariano, H
  3. Finger, M
  4. Gabbay, D
  5. Miraglia Neto, F

Neste Assunto:

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

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

Buscando em bases de dados remotas. Favor aguardar.