skip to main content
Resultados 1 2 3 4 5 next page
Mostrar solo
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Lógica o cálculo de predicados
Material Type:
Libro
Añadir a Mi Portal

Lógica o cálculo de predicados

Leônidas Hegenberg (Leônidas Helmuth Baebler), 1925-2012

São Paulo Herder Edusp 1973

Disponible en EE - Escola de Enfermagem    (164 H462lo ) y otras localizaciones(Obténgalo)

2
Logics of Programs
Material Type:
Libro
Añadir a Mi Portal

Logics of Programs

Kozen

Springer Berlin Heidelberg 1982

Acceso en línea. La biblioteca tiene también copias físicas.

3
Subsystems of Second Order Arithmetic
Subsystems of Second Order Arithmetic
Material Type:
Libro
Añadir a Mi Portal

Subsystems of Second Order Arithmetic

Stephen George Simpson Association for Symbolic Logic.

Cambridge University Press 2009

Acceso en línea. La biblioteca tiene también copias físicas.

4
Material Type:
Libro
Añadir a Mi Portal

Introduction to mathematical logic

Elliott Mendelson

Princeton, N.J. Van Nostrand 1966

Disponible en ICMC - Inst. Ciên. Mat. Computação    (03-01 M537i e.2 ) y otras localizaciones(Obténgalo)

5
Introduction to symbolic logic and its applications
Material Type:
Libro
Añadir a Mi Portal

Introduction to symbolic logic and its applications

Rudolf Carnap (Paul Rudolf), 1891-1970 W H Meyer; J Wilkinson

New York Dover Publications 1958

Disponible en ICMC - Inst. Ciên. Mat. Computação    (03-02 C288i e.2 ) y otras localizaciones(Obténgalo)

6
Logic Colloquium 2006
Logic Colloquium 2006
Material Type:
Libro
Añadir a Mi Portal

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

Acceso en línea. La biblioteca tiene también copias físicas.

7
Mathematical Logic
Mathematical Logic
Material Type:
Libro
Añadir a Mi Portal

Mathematical Logic

Willard Van Orman Quine Willard QUINE

Harvard University Press 1981

Acceso en línea. La biblioteca tiene también copias físicas.

8
Introdução à lógica simbólica
Material Type:
Libro
Añadir a Mi Portal

Introdução à lógica simbólica

Paulo Roberto Margutti Pinto

Belo Horizonte Editora UFMG 2001

Disponible en FFLCH - Fac. Fil. Let. e Ciências Humanas    (160 P659i )(Obténgalo)

9
Introdução à lógica simbólica
Material Type:
Libro
Añadir a Mi Portal

Introdução à lógica simbólica

Paulo Roberto Margutti Pinto

Belo Horizonte Editora UFMG 2006

Disponible en FEA - Fac. Econ. Adm. Contab. e Atuária    (160 P659i )(Obténgalo)

10
Material Type:
Libro
Añadir a Mi Portal

A quadratura do circulo

Alberto Sanmartin

s.l.p Autores Reunidos 1963

Disponible en IME - Inst. Matemática e Estatística    (QA9.1 S227q )(Obténgalo)

Resultados 1 2 3 4 5 next page

Personalizar los resultados

  1. Editar

Refine Search Results

Mostrar solo

  1. Disponible (270)
  2. Recursos en línea (22)

Refinar mis resultados

Tipo de Recurso 

  1. Libros  (266)
  2. Artículos  (4)
  3. Producciones Académicas  (2)
  4. Recursos de Texto  (1)
  5. Audiovisual  (1)
  6. Más opciones open sub menu

Fecha de Publicación 

De Hasta
  1. Antes de1963  (32)
  2. 1963Hasta1976  (69)
  3. 1977Hasta1992  (49)
  4. 1993Hasta2007  (76)
  5. Después de 2007  (55)
  6. Más opciones open sub menu

Idioma 

  1. Inglés  (205)
  2. Portugués  (35)
  3. Francés  (22)
  4. Español  (8)
  5. Alemán  (6)
  6. Italiano  (4)
  7. Noruego  (1)
  8. Sin definir  (1)
  9. Más opciones open sub menu

Buscando en bases de datos remotas, por favor espere