skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Mostrar Somente
Refinado por: data de publicação: Após 2007 remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
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.

2
Logic Colloquium 2006
Logic Colloquium 2006
Logic Colloquium 2006
Material Type:
Livro 		Adicionar ao Meu Espaço

Logic Colloquium 2006

Logic Colloquium S. Barry Cooper; Herman Geuvers; Anand Pillay; Jouko Väänänen Anand Pillay Herman Geuvers Jouko Väänänen; Association for Symbolic Logic.

Cambridge University Press 2009

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

3
Introduction to Mathematical Structures and Proofs
Introduction to Mathematical Structures and Proofs
Introduction to Mathematical Structures and Proofs
Material Type:
Livro 		Adicionar ao Meu Espaço

Introduction to Mathematical Structures and Proofs

Larry J. Gerstein

Dordrecht Springer New York 2012

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

4
On a paraconsistentization functor in the category of consequence structures
On a paraconsistentization functor in the category of consequence structures
Material Type:
Artigo 		Adicionar ao Meu Espaço

On a paraconsistentization functor in the category of consequence structures

Edelcio Gonçalves de Souza Alexandre Costa-Leite; Diogo H. B Dias

Journal of Applied Non-Classical Logics Paris v. 26, n. 3, p. 240-250, 2016

Paris 2016

Localização: FFLCH - Fac. Fil. Let. e Ciências Humanas    (Souza, E G doc 3 )(Acessar)

5
On a paraconsistentization function
On a paraconsistentization function
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

On a paraconsistentization function

Edelcio Gonçalves de Souza Alexandre Costa-Leite; World Congress on Paraconsistency (5. 2014 Kolkota)

Handbook Kolkata: Indian Statistical Institute, 2014

Kolkata Indian Statistical Institute 2014

Localização: FFLCH - Fac. Fil. Let. e Ciências Humanas    (Souza, E G doc 2 )(Acessar)

6
Paraconsistentization of logics via category theory
Paraconsistentization of logics via category theory
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Paraconsistentization of logics via category theory

Edelcio Gonçalves de Souza Alexandre Costa-Leite; Diogo H. B Dias; Trends in Logic (16. 2016 Campinas, SP)

Book of Abstracts Campinas, SP: Centro de Lógica, Epistemologia e História da Ciência - UNICAMP, 2016

Campinas, SP Centro de Lógica, Epistemologia e História da Ciência - UNICAMP 2016

Localização: FFLCH - Fac. Fil. Let. e Ciências Humanas    (Souza, E G doc 1 )(Acessar)

7
Deus é matemático?
Deus é matemático?
Material Type:
Livro 		Adicionar ao Meu Espaço

Deus é matemático?

Mario Livio 1945- Jesus de Paula Assis; Diego Vaz Bevilaqua

Rio de Janeiro Record 2012

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

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
More precisely the math you need to do philosophy
More precisely the math you need to do philosophy
Material Type:
Livro 		Adicionar ao Meu Espaço

More precisely the math you need to do philosophy

Eric Steinhart

Buffalo, N.Y Broadview Press 2009

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

10
Raciocínio transitivo ativado por condicionamento
Raciocínio transitivo ativado por condicionamento
Material Type:
Tese de Doutorado 		Adicionar ao Meu Espaço

Raciocínio transitivo ativado por condicionamento

Cruz, Marcio

Biblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Psicologia 2010-06-15

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

Resultados 1 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Mostrar Somente

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

Refinar Meus Resultados

Tipo de Recurso 

  1. Livros  (47)
  2. Artigos  (4)
  3. Produções Acadêmicas  (2)
  4. Recursos Textuais  (1)
  5. Mais opções open sub menu

Novas Pesquisas Sugeridas

Ignorar minha busca e procurar por tudo

Deste Autor:

  1. Souza, E
  2. Costa-Leite, A
  3. Livio, M
  4. Cooper, S
  5. Carnielli, W

Neste Assunto:

  1. LÓGICA SIMBÓLICA
  2. Lógica Matemática
  3. Logic, Symbolic And Mathematical
  4. Matemática
  5. Lógica

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

Buscando em bases de dados remotas. Favor aguardar.