skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Refinado por: assunto: Lógica Simbólica remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Lógica o cálculo de predicados
Lógica o cálculo de predicados
Material Type:
Livro 		Adicionar ao Meu Espaço

Lógica o cálculo de predicados

Leônidas Hegenberg (Leônidas Helmuth Baebler), 1925-2012

São Paulo Herder Edusp 1973

Localização: EE - Escola de Enfermagem    (164 H462lo ) e outros locais(Acessar)

2
Subsystems of Second Order Arithmetic
Subsystems of Second Order Arithmetic
Subsystems of Second Order Arithmetic
Material Type:
Livro 		Adicionar ao Meu Espaço

Subsystems of Second Order Arithmetic

Stephen George Simpson Association for Symbolic Logic.

Cambridge University Press 2009

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

3
Introduction to mathematical logic
Material Type:
Livro 		Adicionar ao Meu Espaço

Introduction to mathematical logic

Elliott Mendelson

Princeton, N.J. Van Nostrand 1966

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

4
Introduction to symbolic logic and its applications
Introduction to symbolic logic and its applications
Material Type:
Livro 		Adicionar ao Meu Espaço

Introduction to symbolic logic and its applications

Rudolf Carnap (Paul Rudolf), 1891-1970 W H Meyer; J Wilkinson

New York Dover Publications 1958

Localização: ICMC - Inst. Ciên. Mat. Computação    (03-02 C288i e.2 ) e outros locais(Acessar)

5
Mathematical Logic
Mathematical Logic
Mathematical Logic
Material Type:
Livro 		Adicionar ao Meu Espaço

Mathematical Logic

Willard Van Orman Quine Willard QUINE

Harvard University Press 1981

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

6
Logics of Programs
Logics of Programs
Material Type:
Livro 		Adicionar ao Meu Espaço

Logics of Programs

Kozen

Springer Berlin Heidelberg 1982

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

7
Sur les algèbres de Hilbert
Material Type:
Livro 		Adicionar ao Meu Espaço

Sur les algèbres de Hilbert

Antonio Diego Luisa Iturrioz

Paris Gauthier Villars 1966

Localização: IME - Inst. Matemática e Estatística    (QA11.3 D559sF e.2 ) e outros locais(Acessar)

8
Lógica cálculo sentencial, cálculo de predicado, cálculo com igualdade
Lógica cálculo sentencial, cálculo de predicado, cálculo com igualdade
Material Type:
Livro 		Adicionar ao Meu Espaço

Lógica cálculo sentencial, cálculo de predicado, cálculo com igualdade

Leônidas Hegenberg (Leônidas Helmuth Baebler), 1925-2012

Rio de Janeiro Forense Universitária 2015

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

9
Computability and logic
Computability and logic
Material Type:
Livro 		Adicionar ao Meu Espaço

Computability and logic

George Boolos (George Stephen), 1940-1996 Richard Carl Jeffrey 1926-2002

Cambridge England University Press 1974

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

10
An introduction to symbolic logic
An introduction to symbolic logic
Material Type:
Livro 		Adicionar ao Meu Espaço

An introduction to symbolic logic

Susanne K. Langer (Susanne Katherina Knauth) 1895-1985

New York Dover Publications 1967

Localização: EPBC - Esc. Politécnica-Bib Central    (510.6 L239i3 ) 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  (263)
  2. Produções Acadêmicas  (1)
  3. Artigos  (1)
  4. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1963  (31)
  2. 1963Até1976  (67)
  3. 1977Até1991  (56)
  4. 1992Até2006  (96)
  5. Após 2006  (54)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (218)
  2. Português  (23)
  3. Francês  (18)
  4. Alemão  (8)
  5. Japonês  (4)
  6. Italiano  (3)
  7. Espanhol  (3)
  8. Russo  (1)
  9. Norueguês  (1)
  10. Mais opções open sub menu

Novas Pesquisas Sugeridas

Ignorar minha busca e procurar por tudo

Deste Autor:

  1. Quine, W
  2. Boolos, G
  3. Feferman, S
  4. Hegenberg, L
  5. Pólya, G

Neste Assunto:

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

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

Buscando em bases de dados remotas. Favor aguardar.