skip to main content
Idioma:
previous page 1 Resultados 2 3 4 5 next page
Result Number Material Type Add to My Shelf Action Record Details and Options
11
introduction to Gödel's Theorems
introduction to Gödel's Theorems
introduction to Gödel's Theorems
Material Type:
Livro 		Adicionar ao Meu Espaço

introduction to Gödel's Theorems

Peter Smith

Cambridge University Press 2007

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

12
An introduction to Gödel's theorems
An introduction to Gödel's theorems
Material Type:
Livro 		Adicionar ao Meu Espaço

An introduction to Gödel's theorems

Peter Smith

Cambridge Cambridge University Press c2013

Emprestado de IME - Inst. Matemática e Estatística    (QA9.1 S656i 2.ed. )(Acessar)

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

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

15
Forever undecided a puzzle guide to Gödel
Forever undecided a puzzle guide to Gödel
Material Type:
Livro 		Adicionar ao Meu Espaço

Forever undecided a puzzle guide to Gödel

Raymond M Smullyan

New York, N.Y. Knopf 1987

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

16
Forever undecided a puzzle guide to Gödel
Forever undecided a puzzle guide to Gödel
Material Type:
Livro 		Adicionar ao Meu Espaço

Forever undecided a puzzle guide to Gödel

Raymond M. Smullyan (Raymond Merrill) 1919-

Oxford Oxford University Press 1988, c1987

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

17
Word problems; decision problems and the Burnside problem in group theory
Word problems; decision problems and the Burnside problem in group theory
Material Type:
Livro 		Adicionar ao Meu Espaço

Word problems; decision problems and the Burnside problem in group theory

W. W Boone (William W.); Roger C Lyndon; F. B Cannonito (Frank Benjamin)

Amsterdam North-Holland Pub. Co 1973

Localização: ICMC - Inst. Ciên. Mat. Computação    (20-02 W924 e.1 ) e outros locais(Acessar)

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

Gödel's incompleteness theorem

V. A. Uspenskiæi (Vladimir Andreevich)

Moscow Mir Publishers 1987

Localização: FEA - Fac. Econ. Adm. Contab. e Atuária  ACERVO DELFIM NETTO  (B34.14.22 ) e outros locais(Acessar)

19
Shadows of the mind : a search for the missing science of consciousness
Shadows of the mind : a search for the missing science of consciousness
Material Type:
Livro 		Adicionar ao Meu Espaço

Shadows of the mind : a search for the missing science of consciousness

Roger. Penrose

London : Vintage 1995

Localização: IF - Instituto de Física    (006.3 P417s 1995 )(Acessar)

20
Thinking about Gödel and Turing essays on complexity 1970-2007
Thinking about Gödel and Turing essays on complexity 1970-2007
Material Type:
Livro 		Adicionar ao Meu Espaço

Thinking about Gödel and Turing essays on complexity 1970-2007

Gregory J Chaitim

Hackensack, N.J World Scientific c2007

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

previous page 1 Resultados 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  (76)
  3. Book Chapters  (35)
  4. Verbetes  (16)
  5. Dissertações  (7)
  6. Resenhas  (6)
  7. Anais de Congresso  (5)
  8. magazinearticle  (3)
  9. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1973  (17)
  2. 1973Até1989  (25)
  3. 1990Até2000  (48)
  4. 2001Até2012  (142)
  5. Após 2012  (159)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (329)
  2. Japonês  (9)
  3. Alemão  (6)
  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. 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.