skip to main content
Idioma:
previous page 1 Resultados 2 3 4 5 next page
Mostrar Somente
Result Number Material Type Add to My Shelf Action Record Details and Options
11
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.

12
Quantifiers: Logics, Models and Computation
Quantifiers: Logics, Models and Computation
Quantifiers: Logics, Models and Computation
Material Type:
Livro 		Adicionar ao Meu Espaço

Quantifiers: Logics, Models and Computation

Jaakko Davidson, Donald Hintikka Donald Davidson; M Mostowski; L. W Szczerba; Dirk van Dalen

Springer Netherlands 1995

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

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

14
Modern logic a text in elementary symbolic logic
Modern logic a text in elementary symbolic logic
Material Type:
Livro 		Adicionar ao Meu Espaço

Modern logic a text in elementary symbolic logic

Graeme Forbes

New York Oxford 1994

Localização: FEA - Fac. Econ. Adm. Contab. e Atuária  ACERVO DELFIM NETTO  (C10.4.18 ) e outros locais(Acessar)

15
Universal logic
Universal logic
Material Type:
Livro 		Adicionar ao Meu Espaço

Universal logic

Ross Brady 1943-

Stanford California Center for the Study of Language and Information 2006

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

16
Logics of programs proceedings
Logics of programs proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Logics of programs proceedings

Conference on the Logic of Programs (1985 : Brooklin) Rohit Parikh

Berlin Springer 1985

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 Lncs v.193 ex.1 ) e outros locais(Acessar)

17
Initiatives in Logic
Initiatives in Logic
Initiatives in Logic
Material Type:
Livro 		Adicionar ao Meu Espaço

Initiatives in Logic

Jan T. J. Barth, E. M. DaCosta, N. C. A. Srzednicki E. M Barth; N. C. A DaCosta

Springer Netherlands 1987

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

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

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

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

previous page 1 Resultados 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Mostrar Somente

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

Refinar Meus Resultados

Tipo de Recurso 

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

Data de Publicação 

De até
Refinar
  1. Antes de1963  (32)
  2. 1963Até1976  (69)
  3. 1977Até1992  (49)
  4. 1993Até2007  (76)
  5. Após 2007  (55)
  6. Mais opções open sub menu

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

Buscando em bases de dados remotas. Favor aguardar.