Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
Gödel's proofErnest Nagel 1901-1985 James Roy Newman 1907-1966; Douglas R Hofstadter 1945-New York New York University Press 2001Localização: EPBC - Esc. Politécnica-Bib Central (510.6 N131g Ed.rev. )(Acessar) |
|
2 |
Material Type: Livro
|
introduction to Gödel's TheoremsPeter SmithCambridge University Press 2007Acesso online. A biblioteca também possui exemplares impressos. |
|
3 |
Material Type: Livro
|
Thinking about Gödel and Turing essays on complexity 1970-2007Gregory J ChaitimHackensack, N.J World Scientific c2007Localização: FFLCH - Fac. Fil. Let. e Ciências Humanas (511.3 C435t )(Acessar) |
|
4 |
Material Type: Livro
|
Godel's theorem an incomplete guide to its use and abuseTorkel FranzenWellesley, MA A K Peters c2005Localização: EPBC - Esc. Politécnica-Bib Central (510.6 F858g )(Acessar) |
|
5 |
Material Type: Livro
|
An Introduction to Gödel's TheoremsSmith, PeterCambridge: Cambridge University Press 2001Sem texto completo |
|
6 |
Material Type: Livro
|
Kurt Gödel and the Foundations of Mathematics: Horizons of TruthBaaz, Matthias ; Papadimitriou, Christos H ; Putnam, Hilary W ; Scott, Dana S ; Harper, Jr, Charles L Putnam, Hilary W. ; Baaz, Matthias ; Harper, Jr, Charles L. ; Scott, Dana S. ; Papadimitriou, Christos H.New York: Cambridge University Press 2011Sem texto completo |
|
7 |
Material Type: Livro
|
Gödel's ProofNagel, Ernest ; Newman, James R.London: Routledge 1958Sem texto completo |
|
8 |
Material Type: Livro
|
Metamathematics, Machines and Gödel's ProofShankar, N.Cambridge University Press 1994Sem texto completo |
|
9 |
Material Type: Livro
|
Gödel's Way: Exploits into an undecidable worldChaitin, GregoryCRC Press 2011Sem texto completo |
|
10 |
Material Type: Livro
|
There's something about Gödel: the complete guide to the incompleteness theoremBerto, FrancescoHoboken: Wiley 2009Texto completo disponível |