Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
11 |
Material Type: Livro
|
The foundation of mathematicsPieter Jacobus van HeerdenWassenaar Uitg. Wistik 1968Localização: IME - Inst. Matemática e Estatística (QA8 H459f )(Acessar) |
|
12 |
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) |
|
13 |
Material Type: Livro
|
Basic concepts of mathematics and logicMichael C. Gemignani (Michael Caesar)Reading, Mass. Addison-Wesley Pub. Co 1968Localização: IME - Inst. Matemática e Estatística (QA9.1 G322b )(Acessar) |
|
14 |
Material Type: Livro
|
Introduction to logic and to the methodology of deductive sciencesAlfred Tarski Helmer-Hirschberg, OlafNew York Oxford university press 1963 [c1946Localização: IME - Inst. Matemática e Estatística (QA9.1 T193LI )(Acessar) |
|
15 |
Material Type: Livro
|
Introduction à la logiqueAlfred TarskiParis Gauthier-Villars Louvain E. Nauwelaerts 1969Localização: IME - Inst. Matemática e Estatística (QA9.1 T193LF )(Acessar) |
|
16 |
Material Type: Livro
|
Harvey Friedman's Research on the Foundations of MathematicsL.A. Morley, M.D. Šcedrov, A. Simpson, S.G Simpson, S G Harrington Harvey Friedman; L. A Harrington; M.D Morley; A Šcedrov Morley; S. G SimpsonElsevier 1985Acesso online. A biblioteca também possui exemplares impressos. |
|
17 |
Material Type: Livro
|
Mathématiques et logique rétrospective et perspectivesMark Kac Stanislaw M UlamParis Dunod 1973Localização: IF - Instituto de Física (510.1 K11m ) e outros locais(Acessar) |
|
18 |
Material Type: Livro
|
How to prove it a structured approachDaniel J. VellemanCambridge England Cambridge University New York c1994Localização: EPELM - Esc. Politécnica-Bib Eng Elet., Mec. e Naval (510.6 V545h ) e outros locais(Acessar) |
|
19 |
Material Type: Livro
|
Intuitionism an introductionA. Heyting 1898- (Arend)Amsterdam North-Holland 1971Localização: IME - Inst. Matemática e Estatística (QA9.84 H621i 3.ed. )(Acessar) |
|
20 |
Material Type: Livro
|
Philosophy of mathematics and deductive structure in Euclid's ElementsIan MuellerCambridge, Mass. MIT Press c1981Localização: FFLCH - Fac. Fil. Let. e Ciências Humanas (125 M946p ) e outros locais(Acessar) |