Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
evolution of logicWilbur Dyre HartLeiden Cambridge University Press 2010Acesso online. A biblioteca também possui exemplares impressos. |
|
2 |
Material Type: Livro
|
Computation, Proof, Machine: Mathematics Enters A New AgeGilles Dowek Pierre Guillot; Marion RomanCambridge University Press 2015Acesso online. A biblioteca também possui exemplares impressos. |
|
3 |
Material Type: Livro
|
Formale LogikJoseph M. Bochenski (Joseph Maria) 1902-1995Freiburg K. Alber 1956Localização: IME - Inst. Matemática e Estatística (QA9.3 B664f )(Acessar) |
|
4 |
Material Type: Livro
|
Sacred Mathematics : Japanese Temple GeometryFukagawa Hidetoshi Freeman Dyson; Tony RothmanPrinceton University Press 2008Acesso online. A biblioteca também possui exemplares impressos. |
|
5 |
Material Type: Livro
|
Lógica Hispano-Portuguesa hasta 1600 notas bibliográfico-doctrinalesVicente Muñoz DelgadoSalamanca s.n. 1972Localização: IME - Inst. Matemática e Estatística (QA9.3 D352L )(Acessar) |
|
6 |
Material Type: Livro
|
The road to universal logic festschrift for 50th birthday of Jean-Yves Bziau volume I-IIArnold Koslow; Arthur BuchsbaumCham Birkhäuser 2015Acesso online. A biblioteca também possui exemplares impressos. |
|
7 |
Material Type: Livro
|
The great formal machinery works theories of deduction and computation at the origins of the digital ageJan Von PlatoPrinceton Princeton University Press 2017Acesso online. A biblioteca também possui exemplares impressos. |
|
8 |
Material Type: Livro
|
La silogística de Aristóteles desde el punto de vista de la lógica formal modernaJan Lukasiewicz Jan LukasiewiczMadrid Editorial Tecnos c1977Localização: FE - Faculdade de Educação (SJMA 16 T916s ) e outros locais(Acessar) |
|
9 |
Material Type: Livro
|
Rationalismus im Ursprung Die Genesis des axiomatischen DenkensHerbert StachowiakWien New York Springer 1971Localização: IME - Inst. Matemática e Estatística (QA9.3 S775r )(Acessar) |
|
10 |
Material Type: Livro
|
The adventure of reason interplay between philosophy of mathematics and mathematical logic 1900-1940Paolo MancosuOxford Oxford University Press New York 2010Localização: IME - Inst. Matemática e Estatística (QA9.3 M269a )(Acessar) |