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
|
![]() |
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) |
6 |
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. |
7 |
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) |
8 |
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) |
9 |
Material Type: Livro
|
![]() |
Principia mathematicaAlfred North Whitehead 1861-1947 Bertrand Russell 1872-1970Cambridge Eng. New York Cambridge University Press 1927, 1968-1973 printingLocalização: FD - Fac. Direito (I3-12-3 v.3 DBC ) e outros locais(Acessar) |
10 |
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. |