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

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

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

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

8
Lógica para computação
Lógica para computação
Material Type:
Livro 		Adicionar ao Meu Espaço

Lógica para computação

Flávio Soares Corrêa da Silva Marcelo Finger; Ana Cristina Vieira de Melo

São Paulo Cengage Learning 2010 [2006

Localização: IME - Inst. Matemática e Estatística    (QA816 S586L 2010 e.12 ) e outros locais(Acessar)

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

10
Logique, sémantique, métamathématique, 1923-1944
Material Type:
Livro 		Adicionar ao Meu Espaço

Logique, sémantique, métamathématique, 1923-1944

Alfred Tarski

Paris A. Colin 1972-

Localização: FE - Faculdade de Educação    (164 T193L v.2 ) 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  (287)
  2. Artigos  (15)
  3. Produções Acadêmicas  (1)
  4. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1962  (30)
  2. 1962Até1975  (69)
  3. 1976Até1990  (61)
  4. 1991Até2005  (107)
  5. Após 2005  (76)
  6. Mais opções open sub menu

Idioma 

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

Novas Pesquisas Sugeridas

Ignorar minha busca e procurar por tudo

Deste Autor:

  1. Quine, W
  2. Costa-Leite, A
  3. Boolos, G
  4. Souza, E
  5. Feferman, S

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.