skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Mostrar Somente
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
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.

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

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

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
Introdução à lógica simbólica
Introdução à lógica simbólica
Material Type:
Livro 		Adicionar ao Meu Espaço

Introdução à lógica simbólica

Paulo Roberto Margutti Pinto

Belo Horizonte Editora UFMG 2001

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

9
Introdução à lógica simbólica
Introdução à lógica simbólica
Material Type:
Livro 		Adicionar ao Meu Espaço

Introdução à lógica simbólica

Paulo Roberto Margutti Pinto

Belo Horizonte Editora UFMG 2006

Localização: FEA - Fac. Econ. Adm. Contab. e Atuária    (160 P659i )(Acessar)

10
A quadratura do circulo
A quadratura do circulo
Material Type:
Livro 		Adicionar ao Meu Espaço

A quadratura do circulo

Alberto Sanmartin

s.l.p Autores Reunidos 1963

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

Resultados 1 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Mostrar Somente

  1. Disponível na Biblioteca (268)
  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.