Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
Kurt G odel and the foundations of mathematics horizons of truthMatthias BaazCambridge Cambridge University Press New York 2011Emprestado de IME - Inst. Matemática e Estatística (QA9.C3 B111k )(Acessar) |
|
2 |
Material Type: Livro
|
Philosophy of mathematics: selected readingsBenacerraf/Putnam Paul Benacerraf; Hilary PutnamCambridge University Press 1983Acesso online. A biblioteca também possui exemplares impressos. |
|
3 |
Material Type: Livro
|
L'existence en mathématiques conférences faites à la Sorbonne au titre des échanges culturels franco-néerlandais du 29 mars au 7 avril 1954Evert Willem BethParis Gauthier-Villars 1956Localização: FFLCH - Fac. Fil. Let. e Ciências Humanas (164 B562e ) e outros locais(Acessar) |
|
4 |
Material Type: Livro
|
Les fondements logiques des mathématiquesEvert Willem BethParis Gauthier-Villars 1955Localização: FEA - Fac. Econ. Adm. Contab. e Atuária (164 B562 ) e outros locais(Acessar) |
|
5 |
Material Type: Livro
|
Intellectics and computational logic papers in honor of Wolfgang BibelW Bibel 1938; Steffen H olldobler 1957Dordrecht Netherlands Kluwer Academic Publishers Boston c2000Localização: IME - Inst. Matemática e Estatística (QA11.7.C3 H737i )(Acessar) |
|
6 |
Material Type: Livro
|
Logica matematicaBurali-Forti, Cesare 1861-1931Milano U. Hoepli 1919Localização: FEA - Fac. Econ. Adm. Contab. e Atuária ACERVO DELFIM NETTO (A41.18.37 ) e outros locais(Acessar) |
|
7 |
Material Type: Livro
|
As idéias fundamentais da matemática e outros ensaiosManuel Amoroso Costa 1885-1928 Miguel Reale 1910-2006São Paulo Editorial Grijalbo 1971Localização: CQ - Conjunto das Químicas (510 C837i ) e outros locais(Acessar) |
|
8 |
Material Type: Livro
|
Mathematics and logic for digital devicesJames T. Culbertson (James Thomas) 1911-Princeton, N.J. Van Nostrand 1958Localização: FEA - Fac. Econ. Adm. Contab. e Atuária (510 C967m ) e outros locais(Acessar) |
|
9 |
Material Type: Livro
|
La philosophie des mathématiques étude sur la logistique de RussellAndré Darbon d. 1943Paris Presses Universitaires de France 1949Localização: FE - Faculdade de Educação (164 R961p e.2 ) e outros locais(Acessar) |
|
10 |
Material Type: Livro
|
Proof and knowledge in mathematicsMichael Detlefsen 1948-London Routledge New York 1992Localização: IME - Inst. Matemática e Estatística (QA7 D481p )(Acessar) |