Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
A Decision Method for Elementary Algebra and GeometryTarski, AlfredBerkeley: University of California Press 2023Sem texto completo |
|
2 |
Material Type: Livro
|
The Theory of GödelCellucci, CarloCham: Springer International Publishing AG 2022Sem texto completo |
|
3 |
Material Type: Livro
|
An Introduction to Gödel's TheoremsSmith, PeterCambridge: Cambridge University Press 2001Sem texto completo |
|
4 |
Material Type: Livro
|
Kurt Gödel: The Princeton Lectures on IntuitionismHämeen-Anttila, Maria ; von Plato, Jan von Plato, Jan ; Hämeen-Anttila, Maria ; Hämeen-Anttila, Maria ; von Plato, JanCham: Springer Nature 2021Sem texto completo |
|
5 |
Material Type: Livro
|
Gödel's Theorems and Zermelo's Axioms: A Firm Foundation of MathematicsHalbeisen, Lorenz ; Krapf, Regula Krapf, RegulaCham: Springer Nature 2020Sem texto completo |
|
6 |
Material Type: Livro
|
Can Mathematics Be Proved Consistent?: Gödel's Shorthand Notes & Lectures on Incompletenessvon Plato, JanCham: Springer Nature 2020Sem texto completo |
|
7 |
Material Type: Artigo
|
Arrows of time and fundamental symmetries in chemical physicsBrändas, Erkki J.International journal of quantum chemistry, 2013-02, Vol.113 (3), p.173-184 [Periódico revisado por pares]Hoboken: Wiley Subscription Services, Inc., A Wiley CompanyTexto completo disponível |
|
8 |
Material Type: Livro
|
The P=NP Question and Gödel`s Lost LetterLipton, Richard JNew York, NY: Springer Science + Business Media 2010Sem texto completo |
|
9 |
Material Type: Livro
|
Gödel's ProofNagel, Ernest ; Newman, James R.London: Routledge 1958Sem texto completo |
|
10 |
Material Type: Livro
|
Gödel's Way: Exploits into an undecidable worldChaitin, GregoryCRC Press 2011Sem texto completo |