skip to main content
Idioma:
Resultados 1 2 3 next page
Mostrar Somente
Refinado por: Biblioteca: IME - Inst. Matemática e Estatística remover assunto: Lógica Matemática remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Computability and logic
Computability and logic
Material Type:
Livro 		Adicionar ao Meu Espaço

Computability and logic

George Boolos (George Stephen), 1940-1996 Richard Carl Jeffrey 1926-2002

Cambridge England University Press 1974

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

2
Surveys in set theory
Surveys in set theory
Surveys in set theory
Material Type:
Livro 		Adicionar ao Meu Espaço

Surveys in set theory

A. R. D. Mathias Adrian Richard David Mathias; Gabriel Navarro

Cambridge Cambridge University Press 1983

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

3
Degrees of unsolvability structure and theory
Degrees of unsolvability structure and theory
Material Type:
Livro 		Adicionar ao Meu Espaço

Degrees of unsolvability structure and theory

Richard L. Epstein 1947-

Berlin New York Springer-Verlag 1979

Localização: ICMC - Inst. Ciên. Mat. Computação    (00-02 Lnm v.759 ex.1 ) e outros locais(Acessar)

4
Initial segments of degrees below o'
Initial segments of degrees below o'
Material Type:
Livro 		Adicionar ao Meu Espaço

Initial segments of degrees below o'

Richard L Epstein

Providence Ams 1981

Localização: ICMC - Inst. Ciên. Mat. Computação    (00-02 Ams v.241 ex.1 ) e outros locais(Acessar)

5
Lambda Calculus with Types
Lambda Calculus with Types
Lambda Calculus with Types
Material Type:
Livro 		Adicionar ao Meu Espaço

Lambda Calculus with Types

Hendrik Pieter Barendregt Fabio Alessi; Henk Barendregt; Wil Dekkers; Richard Statman Richard Statman Wil Dekkers; Association for Symbolic Logic.

Cambridge University Press 2013

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

6
Minimal degrees of unsolvability and the full approximation construction
Material Type:
Livro 		Adicionar ao Meu Espaço

Minimal degrees of unsolvability and the full approximation construction

Richard L. Epstein 1947-

Providence Ams 1975-

Localização: ICMC - Inst. Ciên. Mat. Computação    (00-02 Mem v.162 e.1 ) e outros locais(Acessar)

7
Foundations of intuitionistic mathematics
Foundations of intuitionistic mathematics
Material Type:
Livro 		Adicionar ao Meu Espaço

Foundations of intuitionistic mathematics

Stephen Cole Kleene Richard Eugene Vesley

Amsterdam North-Holland 1965

Localização: EPELM - Esc. Politécnica-Bib Eng Elet., Mec. e Naval    (510.6 K672f ) e outros locais(Acessar)

8
Logic for applications
Logic for applications
Material Type:
Livro 		Adicionar ao Meu Espaço

Logic for applications

Anil Nerode 1932- Richard A Shore 1946-

New York Springer c1997

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

9
Computabilidade, funções computáveis, lógica e os fundamentos da matemática
Computabilidade, funções computáveis, lógica e os fundamentos da matemática
Material Type:
Livro 		Adicionar ao Meu Espaço

Computabilidade, funções computáveis, lógica e os fundamentos da matemática

Carnielli, Walter Alexandre Epstein, Richard L

São Paulo Unesp 2009 [c2005

Localização: EESC - Esc. Engenharia de São Carlos    (511.3 C289c.2 ) e outros locais(Acessar)

10
A contraction core for Horn belief change preliminary report
A contraction core for Horn belief change preliminary report
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

A contraction core for Horn belief change preliminary report

Richard Booth Thomas Meyer; Renata Wassermann; Non-Monotonic Reasoning 2010: International Workshop on Non-Monotonic Reasoning - NMR (13. 2010 Toronto)

Proceedings Toronto : SFU, 2010

Toronto SFU 2010

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

Resultados 1 2 3 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Disponível na Biblioteca (28)
  2. Recursos Online (4)

Refinar Meus Resultados

Tipo de Recurso 

  1. Livros  (28)
  2. Artigos  (1)
  3. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1974  (6)
  2. 1974Até1982  (6)
  3. 1983Até1995  (4)
  4. 1996Até2008  (8)
  5. Após 2008  (5)
  6. Mais opções open sub menu

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

Buscando em bases de dados remotas. Favor aguardar.