skip to main content
Idioma:
Refinado por: assunto: Teoria Da Recursão remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Enumerability, decidability, computability an introduction to the theory of recursive functions
Material Type:
Livro 		Adicionar ao Meu Espaço

Enumerability, decidability, computability an introduction to the theory of recursive functions

Hans Hermes 1912-

Berlin New York Springer-Verlag 1965

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

2
A decision method for elementary algebra and geometry
Material Type:
Livro 		Adicionar ao Meu Espaço

A decision method for elementary algebra and geometry

Alfred Tarski

Berkeley University of California Press 1951

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

3
Recursive functions and metamathematics problems of completeness and decidability, Gödel's theorems
Recursive functions and metamathematics problems of completeness and decidability, Gödel's theorems
Material Type:
Livro 		Adicionar ao Meu Espaço

Recursive functions and metamathematics problems of completeness and decidability, Gödel's theorems

Roman Murawski 1949-

Boston Kluwer Academic Publishers 1999

Localização: EPBC - Esc. Politécnica-Bib Central    (510.57 M934fI ) e outros locais(Acessar)

4
Enumerability, decidability, computability An introduction to the theory of recursive functions
Material Type:
Livro 		Adicionar ao Meu Espaço

Enumerability, decidability, computability An introduction to the theory of recursive functions

Hans Hermes 1912-

Berlin New York Springer 1969

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

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Novas Pesquisas Sugeridas

Ignorar minha busca e procurar por tudo

Deste Autor:

  1. Hermes, H
  2. Tarski, A
  3. Murawski, R

Neste Assunto:

  1. Lógica Matemática
  2. Recursive Functions
  3. Gödel'S Theorem
  4. Teorema De Godel’s
  5. Computable Functions

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

Buscando em bases de dados remotas. Favor aguardar.