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
Metamathematik der Elementarmathematik
Metamathematik der Elementarmathematik
Material Type:
Livro 		Adicionar ao Meu Espaço

Metamathematik der Elementarmathematik

Erwin Engeler

Berlin Springer-Verlag New York 1983

Localização: ICMC - Inst. Ciên. Mat. Computação    (03B01 E57m e.1 )(Acessar)

2
Undecidable theories
Material Type:
Livro 		Adicionar ao Meu Espaço

Undecidable theories

Alfred Tarski

Amsterdam North-Holland Pub. Co. 1953

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

3
Metamathematik
Material Type:
Livro 		Adicionar ao Meu Espaço

Metamathematik

Paul Lorenzen

Mannheim Bibliographisches Institut c1962

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

4
Métamathématique
Material Type:
Livro 		Adicionar ao Meu Espaço

Métamathématique

Paul Lorenzen

Paris Mouton 1967

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

5
Introduction to metamathematics
Material Type:
Livro 		Adicionar ao Meu Espaço

Introduction to metamathematics

Stephen Cole Kleene 1909-

Groningen Wolters-Noordhoff Pub 1971

Localização: EPELM - Esc. Politécnica-Bib Eng Elet., Mec. e Naval    (510.6 K672i e.2 ) e outros locais(Acessar)

6
Constructivity in mathematics; proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Constructivity in mathematics; proceedings

International Colloquium "Constructivity in Mathematics" (1957 Amsterdam, Netherlands) A Heyting 1898- (Arend)

Amsterdam North-Holland Pub. Co. 1959

Localização: IME - Inst. Matemática e Estatística    (QA9.C H621c )(Acessar)

7
Langage et théories dans les mathématiques nouvelles
Material Type:
Livro 		Adicionar ao Meu Espaço

Langage et théories dans les mathématiques nouvelles

Pierre Robert fl. 1968-

Paris A. Michel 1972

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

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

9
Theory of formal systems
Theory of formal systems
Material Type:
Livro 		Adicionar ao Meu Espaço

Theory of formal systems

Raymond M. Smullyan (Raymond Merrill) 1919-

Princeton, N.J. Princeton University Press 1961

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

10
Introduction to metamathematics
Introduction to metamathematics
Material Type:
Livro 		Adicionar ao Meu Espaço

Introduction to metamathematics

Stephen Cole Kleene 1909-1994

Princeton Van Nostrand 1952

Localização: FEA - Fac. Econ. Adm. Contab. e Atuária    (510.01 K63i ) e outros locais(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. Livros  (475)
  2. Reports  (75)
  3. Artigos  (53)
  4. Book Chapters  (6)
  5. Anais de Congresso  (2)
  6. Dissertações  (2)
  7. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1964  (53)
  2. 1964Até1977  (80)
  3. 1978Até1992  (64)
  4. 1993Até2007  (193)
  5. Após 2007  (403)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (600)
  2. Alemão  (20)
  3. Francês  (6)
  4. Japonês  (6)
  5. Português  (3)
  6. Italiano  (2)
  7. Espanhol  (2)
  8. Holandês  (2)
  9. Polonês  (1)
  10. Russo  (1)
  11. Africâner  (1)
  12. Mais opções open sub menu

Novas Pesquisas Sugeridas

Ignorar minha busca e procurar por tudo

Deste Autor:

  1. Hofstadter, D
  2. Kleene, S
  3. Universiòtah ha-°Ivrit bi-Yerushalayim
  4. Tarski, A
  5. Bar-Hillel, Y

Neste Assunto:

  1. Metamathematics
  2. Mathematical Logic
  3. Mathematics
  4. Set Theory
  5. Symbolic Logic

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

Buscando em bases de dados remotas. Favor aguardar.