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
Mechanism, mentalism, and metamathematics an essay on finitism
Mechanism, mentalism, and metamathematics an essay on finitism
Material Type:
Livro 		Adicionar ao Meu Espaço

Mechanism, mentalism, and metamathematics an essay on finitism

Judson Chambers Webb 1936-

Dordrecht Boston D. Reidel c1980

Localização: FFLCH - Fac. Fil. Let. e Ciências Humanas    (501 S993 v.137 ) e outros locais(Acessar)

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

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

4
Godel's proof
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 c1986

Item não circula. Consulte sua biblioteca.(Acessar)

5
Gödel's proof
Gödel's proof
Material Type:
Livro 		Adicionar ao Meu Espaço

Gödel's proof

Ernest Nagel 1901-1985 James Roy Newman 1907-1966; Douglas R Hofstadter 1945-

New York New York University Press 2001

Localização: EPBC - Esc. Politécnica-Bib Central    (510.6 N131g Ed.rev. )(Acessar)

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

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

8
Godel's theorem simplified
Godel's theorem simplified
Material Type:
Livro 		Adicionar ao Meu Espaço

Godel's theorem simplified

Harry J. Gensler 1945-

Lanham, MD University Press of America c1984

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

9
Gödel's incompleteness theorems
Gödel's incompleteness theorems
Material Type:
Livro 		Adicionar ao Meu Espaço

Gödel's incompleteness theorems

Raymond M. Smullyan

New York Oxford University Press 1992

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

10
Lady or the tiger? and other logic puzzles including a mathematical novel that features Gödel's great discovery
Lady or the tiger? and other logic puzzles including a mathematical novel that features Gödel's great discovery
Material Type:
Livro 		Adicionar ao Meu Espaço

Lady or the tiger? and other logic puzzles including a mathematical novel that features Gödel's great discovery

Raymond Merrill Smullyan 1919-2017

Oxford Oxford University Press 1991

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

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  (198)
  2. Livros  (70)
  3. Book Chapters  (45)
  4. Verbetes  (16)
  5. Resenhas  (8)
  6. Dissertações  (7)
  7. Anais de Congresso  (6)
  8. magazinearticle  (3)
  9. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1974  (17)
  2. 1974Até1990  (22)
  3. 1991Até2001  (51)
  4. 2002Até2012  (136)
  5. Após 2012  (161)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (336)
  2. Japonês  (9)
  3. Alemão  (9)
  4. Espanhol  (4)
  5. Francês  (3)
  6. Tcheco  (3)
  7. Catalão  (3)
  8. Russo  (2)
  9. Italiano  (1)
  10. Persa  (1)
  11. Eslovaco  (1)
  12. Chinês  (1)
  13. Holandês  (1)
  14. 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. Science & Technology
  3. Logic
  4. Gödel's Theorem
  5. Philosophy

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

Buscando em bases de dados remotas. Favor aguardar.