skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Mostrar Somente
Refinado por: assunto: Teoria Da Recursão remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
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)

2
Rekursive Funktionen
Material Type:
Livro 		Adicionar ao Meu Espaço

Rekursive Funktionen

Rózsa Péter 1905-1977

Budapest Akadémiai Kiadó 1957

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

3
Recursive number theory a development of recursive arithmetic in a logic-free equation calculus
Material Type:
Livro 		Adicionar ao Meu Espaço

Recursive number theory a development of recursive arithmetic in a logic-free equation calculus

R. L. Goodstein (Reuben Louis)

Amsterdam North-Holland Pub. Co. 1957

Localização: IF - Instituto de Física    (512.7 G655r ) e outros locais(Acessar)

4
Computability & unsolvability
Material Type:
Livro 		Adicionar ao Meu Espaço

Computability & unsolvability

Martin Davis 1928-

New York McGraw-Hill 1958

Localização: FEA - Fac. Econ. Adm. Contab. e Atuária    (517.5 D267c ) e outros locais(Acessar)

5
Recursive analysis
Material Type:
Livro 		Adicionar ao Meu Espaço

Recursive analysis

R. L. Goodstein (Reuben Louis)

Amsterdam North-Holland Pub. Co. 1961

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

6
Degrees of unsolvability
Degrees of unsolvability
Material Type:
Livro 		Adicionar ao Meu Espaço

Degrees of unsolvability

Gerald E. Sacks 1933-

Princeton, N.J. Princeton University Press 1963

Localização: IME - Inst. Matemática e Estatística  MARTA CAVALLO BUNGE  (BUNGE QA10.3 S121d 2.ed. e.1 )(Acessar)

7
Degrees of unsolvability
Material Type:
Livro 		Adicionar ao Meu Espaço

Degrees of unsolvability

Gerald E. Sacks 1933-

Princeton, N.J. Princeton University Press 1963

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

8
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)

9
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)

10
Lecons sur les fonctions calculables
Material Type:
Livro 		Adicionar ao Meu Espaço

Lecons sur les fonctions calculables

V. A. Uspenskiæi (Vladimir Andreevich)

Paris Hermann 1966

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

Resultados 1 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Mostrar Somente

  1. Recursos Online (5)

Data de Publicação 

De até
Refinar
  1. Antes de1967  (10)
  2. 1967Até1976  (12)
  3. 1977Até1987  (8)
  4. 1988Até2000  (12)
  5. Após 2000  (8)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (43)
  2. Alemão  (5)
  3. Espanhol  (2)
  4. Português  (1)
  5. Francês  (1)
  6. Mais opções open sub menu

Novas Pesquisas Sugeridas

Ignorar minha busca e procurar por tudo

Deste Autor:

  1. Sacks, G
  2. Odifreddi, P
  3. Péter, R
  4. Jeffrey, R
  5. Hermes, H

Neste Assunto:

  1. Lógica Matemática
  2. Recursive Functions
  3. Recursion Theory
  4. Computable Functions
  5. Logic, Symbolic And Mathematical

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

Buscando em bases de dados remotas. Favor aguardar.