skip to main content
Idioma:
Refinado por: assunto: Lógica Simbólica remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Computabilidade, funções computáveis, lógica e os fundamentos da matemática
Computabilidade, funções computáveis, lógica e os fundamentos da matemática
Material Type:
Livro 		Adicionar ao Meu Espaço

Computabilidade, funções computáveis, lógica e os fundamentos da matemática

Walter Carnielli Richard L Epstein

São Paulo Editora da UNESP 2005

Localização: ICMC - Inst. Ciên. Mat. Computação    (68Q20.05 C289co e.1 ) e outros locais(Acessar)

2
Analysis and synthesis of logics how to cut and paste reasoning systems
Analysis and synthesis of logics how to cut and paste reasoning systems
Material Type:
Livro 		Adicionar ao Meu Espaço

Analysis and synthesis of logics how to cut and paste reasoning systems

Marcelo Coniglio; Dov M Gabbay; Paula Gouveia; Cristina Sernadas; Walter A Carnielli (Walter Alexandre)

Dordrecht Springer c2008

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

3
Propositional logics the semantic foundations of logic
Propositional logics the semantic foundations of logic
Material Type:
Livro 		Adicionar ao Meu Espaço

Propositional logics the semantic foundations of logic

Richard L Epstein (Richard Louis) Walter A Carnielli (Walter Alexandre), 1952-

Belmont : Wadsworth/Thomson Learning 2001

Localização: FFLCH - Fac. Fil. Let. e Ciências Humanas    (160 E64p 2.ed )(Acessar)

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Data de Publicação 

De até
Refinar

Novas Pesquisas Sugeridas

Ignorar minha busca e procurar por tudo

Deste Autor:

  1. Carnielli, W
  2. Epstein, R
  3. Gabbay, D
  4. Coniglio, M
  5. Gouveia, P

Neste Assunto:

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

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

Buscando em bases de dados remotas. Favor aguardar.