Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
Philosophy of mathematics: selected readingsBenacerraf/Putnam Paul Benacerraf; Hilary PutnamCambridge University Press 1983Acesso online. A biblioteca também possui exemplares impressos. |
|
2 |
Material Type: Livro
|
Les fondements des mathématiques; intuitionnisme, théorie de la démonstrationA. Heyting 1898- (Arend)Paris Gauthier-Villars 1955Localização: IF - Instituto de Física (510.1 H621f ) e outros locais(Acessar) |
|
3 |
Material Type: Livro
|
Introduction to Modern MathematicsHelena RasiowaNorth-Holland 1973Acesso online. A biblioteca também possui exemplares impressos. |
|
4 |
Material Type: Livro
|
A logical approach to discrete mathDavid Gries Fred B SchneiderNew York Springer-Verlag c1993Localização: IME - Inst. Matemática e Estatística (QA9.1 G848L )(Acessar) |
|
5 |
Material Type: Livro
|
Principles of mathematicsBertrand Russell 1872-1970London G. Allen & Unwin, Ltd 1951Localização: FFLCH - Fac. Fil. Let. e Ciências Humanas (192.9 R961pr )(Acessar) |
|
6 |
Material Type: Livro
|
Mathematics and logic; retrospect and prospectsMark Kac Stanislaw M UlamNew York Penguin Books c1968, [1971Localização: FEA - Fac. Econ. Adm. Contab. e Atuária ACERVO DELFIM NETTO (B4.8.40 ) e outros locais(Acessar) |
|
7 |
Material Type: Livro
|
Introduction to metamathematicsStephen Cole Kleene 1909-1994Princeton, N.J. Van Nostrand 1967, Ã1950Localização: IME - Inst. Matemática e Estatística (QA9 K63i 1967 )(Acessar) |
|
8 |
Material Type: Livro
|
Problems and Theorems in Classical Set TheoryPéter Komjáth Péter Komjáth; Vilmos TotikSpringer New York 2006Acesso online. A biblioteca também possui exemplares impressos. |
|
9 |
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) |
|
10 |
Material Type: Livro
|
From Frege to Gödel a source book in mathematical logic, 1879-1931Jean Van Heijenoort 1912-1986Cambridge, Mass. Harvard University Press c1967Localização: EPELM - Esc. Politécnica-Bib Eng Elet., Mec. e Naval (510.6 V26f ) e outros locais(Acessar) |