skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
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
Godel's proof
Material Type:
Livro 		Adicionar ao Meu Espaço

Godel's proof

Ernest Nagel 1901-1985 James Roy Newman 1907-1966

New York New York University Press 1958

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

3
La prueba de Gödel
Material Type:
Livro 		Adicionar ao Meu Espaço

La prueba de Gödel

Ernest Nagel 1901- James R Newman; Ramón Xirau

México Centro de Estudios Filosóficos, Universidad Nacional Autónoma de México 1959

Localização: FFLCH - Fac. Fil. Let. e Ciências Humanas    (511.3 N147gE e.2 ) e outros locais(Acessar)

4
On formally undecidable propositions of Principia mathematica and related systems
Material Type:
Livro 		Adicionar ao Meu Espaço

On formally undecidable propositions of Principia mathematica and related systems

Kurt Gödel 1906-1978 Bernard Meltzer; F. B. A Braithwaite

Edinburgh Oliver & Boyd 1962

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

5
Il teorema e il corollario di Gödel indagine critica
Material Type:
Livro 		Adicionar ao Meu Espaço

Il teorema e il corollario di Gödel indagine critica

Francesca Rivetti Barbò

Milano Società Editrice Vita e Pensiero 1964

Localização: FEA - Fac. Econ. Adm. Contab. e Atuária  ACERVO DELFIM NETTO  (B7.19.6 )(Acessar)

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

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

8
Enumerability · Decidability Computability: An Introduction to the Theory of Recursive Functions
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

Doob, J. L ; Heinz, E ; Hirzebruch, F

Berlin, Heidelberg: Springer Berlin / Heidelberg 1969

Texto completo disponível

Citações Citado por
9
Decidable Theories: Vol. 1: Büchi`s Monadic Second Order Successor Arithmetic
Decidable Theories: Vol. 1: Büchi`s Monadic Second Order Successor Arithmetic
Material Type:
Livro 		Adicionar ao Meu Espaço

Decidable Theories: Vol. 1: Büchi`s Monadic Second Order Successor Arithmetic

Siefkes, Dirk ; Müller, Gert H

Berlin, Heidelberg: Springer Berlin / Heidelberg 1970

Texto completo disponível

Citações Citado por
10
Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit: Einführung in Die Theorie der Rekursiven Funktionen
Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit: Einführung in Die Theorie der Rekursiven Funktionen
Material Type:
Livro 		Adicionar ao Meu Espaço

Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit: Einführung in Die Theorie der Rekursiven Funktionen

Hermes, H

Berlin, Heidelberg: Springer Berlin / Heidelberg 1971

Sem texto completo

Citações Citado por
Resultados 1 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (197)
  2. Livros  (83)
  3. Book Chapters  (48)
  4. Verbetes  (15)
  5. Anais de Congresso  (7)
  6. Resenhas  (7)
  7. Dissertações  (5)
  8. magazinearticle  (3)
  9. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1974  (15)
  2. 1974Até1991  (23)
  3. 1992Até2002  (60)
  4. 2003Até2014  (161)
  5. Após 2014  (146)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (351)
  2. Japonês  (9)
  3. Alemão  (8)
  4. Espanhol  (4)
  5. Tcheco  (3)
  6. Catalão  (3)
  7. Francês  (2)
  8. Italiano  (1)
  9. Persa  (1)
  10. Eslovaco  (1)
  11. Chinês  (1)
  12. Holandês  (1)
  13. Mais opções open sub menu

Novas Pesquisas Sugeridas

Ignorar minha busca e procurar por tudo

Deste Autor:

  1. Newman, J
  2. Nagel, E
  3. Penrose, R
  4. Smullyan, R
  5. Hermes, H

Neste Assunto:

  1. Mathematics
  2. Logic
  3. Science & Technology
  4. Philosophy
  5. Gödel's Theorem

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

Buscando em bases de dados remotas. Favor aguardar.