skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Mostrar Somente
Refinado por: data de publicação: Antes de1960 remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Logic, semantics, metamathematics; papers from 1923 to 1938
Material Type:
Livro 		Adicionar ao Meu Espaço

Logic, semantics, metamathematics; papers from 1923 to 1938

Alfred Tarski J. H Woodger trad

Oxford Clarendon Press 1969

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

2
Method in proofs of undefinability with applications to functions in the arithmetic of natural number
Method in proofs of undefinability with applications to functions in the arithmetic of natural number
Material Type:
Livro 		Adicionar ao Meu Espaço

Method in proofs of undefinability with applications to functions in the arithmetic of natural number

Karel Louis de Bouvere

Amsterdam North-Holland 1959

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

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

4
Grundzüge der theoretischen logik
Material Type:
Livro 		Adicionar ao Meu Espaço

Grundzüge der theoretischen logik

David Hilbert 1862-1943 W Ackermann (Wilhelm) 1896-

Berlin Springer 1959

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

5
A precis of mathematical logic
Material Type:
Livro 		Adicionar ao Meu Espaço

A precis of mathematical logic

Joseph M. Bochenski (Joseph Maria) 1902-1995 Otto Bird

Dordrecht, Holland D. Reidel Pub. Co 1959

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

6
Logic in elementary mathematics
Material Type:
Livro 		Adicionar ao Meu Espaço

Logic in elementary mathematics

Robert M. Exner Myron Frederick Rosskopf

New York McGraw-Hill 1959

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

7
Symbolic logic and intelligent machines
Material Type:
Livro 		Adicionar ao Meu Espaço

Symbolic logic and intelligent machines

Edmund Callis Berkeley

New York Reinhold Pub. Corp 1959

Localização: IF - Instituto de Física    (511.3 B512s )(Acessar)

8
Introduction to semantics and Formalization of logic
Material Type:
Livro 		Adicionar ao Meu Espaço

Introduction to semantics and Formalization of logic

Rudolf Carnap (Paul Rudolf), 1891-1970

Cambridge Harvard University Press 1959

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

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

10
The axiomatic method with special reference to geometry and physics. Proceedings of an international symposium held at the University of California, Berkeley, December 26, 1957-January 4, 1958.
Material Type:
Livro 		Adicionar ao Meu Espaço

The axiomatic method with special reference to geometry and physics. Proceedings of an international symposium held at the University of California, Berkeley, December 26, 1957-January 4, 1958.

Leon Henkin

Amsterdam North-Holland Pub. Co. 1959

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

Resultados 1 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Mostrar Somente

  1. Disponível na Biblioteca (185)
  2. Recursos Online (1)

Refinar Meus Resultados

Tipo de Recurso 

  1. Livros  (183)
  2. Recursos Textuais  (2)
  3. Revistas  (1)
  4. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1920  (11)
  2. 1920Até1949  (41)
  3. 1950Até1952  (52)
  4. 1953Até1956  (48)
  5. Após 1956  (40)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (97)
  2. Francês  (45)
  3. Alemão  (17)
  4. Português  (13)
  5. Espanhol  (9)
  6. Italiano  (8)
  7. Holandês  (1)
  8. Polonês  (1)
  9. Latim  (1)
  10. Mais opções open sub menu

Novas Pesquisas Sugeridas

Ignorar minha busca e procurar por tudo

Deste Autor:

  1. Tarski, A
  2. Quine, W
  3. Carnap, R
  4. Pólya, G
  5. Hilbert, D

Neste Assunto:

  1. Lógica Matemática
  2. Logic, Symbolic And Mathematical
  3. Lógica
  4. Matemática
  5. Lógica Simbólica

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

Buscando em bases de dados remotas. Favor aguardar.