skip to main content
Mostrar Somente
Result Number Material Type Add to My Shelf Action Record Details and Options
1
evolution of logic
evolution of logic
Material Type:
Livro
Adicionar ao Meu Espaço

evolution of logic

Wilbur Dyre Hart

Leiden Cambridge University Press 2010

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

2
Computation, Proof, Machine: Mathematics Enters A New Age
Computation, Proof, Machine: Mathematics Enters A New Age
Material Type:
Livro
Adicionar ao Meu Espaço

Computation, Proof, Machine: Mathematics Enters A New Age

Gilles Dowek Pierre Guillot; Marion Roman

Cambridge University Press 2015

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

3
Material Type:
Livro
Adicionar ao Meu Espaço

Formale Logik

Joseph M. Bochenski (Joseph Maria) 1902-1995

Freiburg K. Alber 1956

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

4
Sacred Mathematics : Japanese Temple Geometry
Sacred Mathematics : Japanese Temple Geometry
Material Type:
Livro
Adicionar ao Meu Espaço

Sacred Mathematics : Japanese Temple Geometry

Fukagawa Hidetoshi Freeman Dyson; Tony Rothman

Princeton University Press 2008

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

5
Material Type:
Livro
Adicionar ao Meu Espaço

Lógica Hispano-Portuguesa hasta 1600 notas bibliográfico-doctrinales

Vicente Muñoz Delgado

Salamanca s.n. 1972

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

6
The road to universal logic festschrift for 50th birthday of Jean-Yves Bziau volume I-II
Material Type:
Livro
Adicionar ao Meu Espaço

The road to universal logic festschrift for 50th birthday of Jean-Yves Bziau volume I-II

Arnold Koslow; Arthur Buchsbaum

Cham Birkhäuser 2015

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

7
The great formal machinery works theories of deduction and computation at the origins of the digital age
Material Type:
Livro
Adicionar ao Meu Espaço

The great formal machinery works theories of deduction and computation at the origins of the digital age

Jan Von Plato

Princeton Princeton University Press 2017

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

8
La silogística de Aristóteles desde el punto de vista de la lógica formal moderna
Material Type:
Livro
Adicionar ao Meu Espaço

La silogística de Aristóteles desde el punto de vista de la lógica formal moderna

Jan Lukasiewicz Jan Lukasiewicz

Madrid Editorial Tecnos c1977

Localização: FE - Faculdade de Educação    (SJMA 16 T916s ) e outros locais(Acessar)

9
Material Type:
Livro
Adicionar ao Meu Espaço

Rationalismus im Ursprung Die Genesis des axiomatischen Denkens

Herbert Stachowiak

Wien New York Springer 1971

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

10
The adventure of reason interplay between philosophy of mathematics and mathematical logic 1900-1940
Material Type:
Livro
Adicionar ao Meu Espaço

The adventure of reason interplay between philosophy of mathematics and mathematical logic 1900-1940

Paolo Mancosu

Oxford Oxford University Press New York 2010

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

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Disponível na Biblioteca (11)
  2. Recursos Online (5)

Novas Pesquisas Sugeridas

Ignorar minha busca e procurar por tudo

Deste Autor:

  1. Muñoz Delgado, V
  2. Roman, M
  3. Buchsbaum, A
  4. Guillot, P
  5. Hart, W

Buscando em bases de dados remotas. Favor aguardar.