Search Results for G&ouml;del's theorem. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dG$0025C3$0025B6del$002527s$002btheorem.$0026ic$003dtrue$0026te$003dILS$0026ps$003d300? 2024-10-30T19:06:31Z There's something about G&ouml;del the complete guide to the incompleteness theorem ent://SD_ILS/0/SD_ILS:304400 2024-10-30T19:06:31Z 2024-10-30T19:06:31Z Author&#160;Berto, Francesco.&#160;Wiley InterScience (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;John Wiley <a href="http://dx.doi.org/10.1002/9781444315028">http://dx.doi.org/10.1002/9781444315028</a> ebrary <a href="http://site.ebrary.com/id/10577633">http://site.ebrary.com/id/10577633</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logic, Language, Information, and Computation 29th International Workshop, WoLLIC 2023, Halifax, NS, Canada, July 11-14, 2023, Proceedings ent://SD_ILS/0/SD_ILS:520880 2024-10-30T19:06:31Z 2024-10-30T19:06:31Z Author&#160;Hansen, Helle Hvid. editor.&#160;Scedrov, Andre. editor.&#160;de Queiroz, Ruy J.G.B. editor. (orcid)&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(520880.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-39784-4">https://doi.org/10.1007/978-3-031-39784-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Kurt G&ouml;del and the Foundations of Mathematics Horizons of Truth ent://SD_ILS/0/SD_ILS:237387 2024-10-30T19:06:31Z 2024-10-30T19:06:31Z Author&#160;Baaz, Matthias.&#160;Papadimitriou, Christos H..&#160;Putnam, Hilary W..&#160;Scott, Dana S..&#160;Harper, Jr, Charles L..<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1017/CBO9780511974236">Access by subscription</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Kurt G&ouml;del and the foundations of mathematics : horizons of truth ent://SD_ILS/0/SD_ILS:363683 2024-10-30T19:06:31Z 2024-10-30T19:06:31Z Author&#160;Baaz, Matthias.<br/>Preferred Shelf Number&#160;QA9.65 K87 2014<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/> G&ouml;del kan&#305;tlamas&#305; ent://SD_ILS/0/SD_ILS:318163 2024-10-30T19:06:31Z 2024-10-30T19:06:31Z Author&#160;Nagel, Ernest, 1901-&#160;Newman, James Roy, 1907-1966.&#160;Hofstadter, Douglas R.&#160;G&ouml;zkan, B&uuml;lent.<br/>Preferred Shelf Number&#160;QA9 N34 2010<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/> Word problems II the Oxford book ent://SD_ILS/0/SD_ILS:257339 2024-10-30T19:06:31Z 2024-10-30T19:06:31Z Author&#160;Adi&#865;an, S. I.&#160;Boone, W. W. (William W.)&#160;Higman, G. (Graham)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444853431">http://www.sciencedirect.com/science/book/9780444853431</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Undecidable theories ent://SD_ILS/0/SD_ILS:257276 2024-10-30T19:06:31Z 2024-10-30T19:06:31Z Author&#160;Tarski, Alfred.&#160;Mostowski, Andrzej.&#160;Robinson, Raphael M. (Raphael Mitchel), 1911-<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444533784">http://www.sciencedirect.com/science/book/9780444533784</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Sentences undecidable in formalized arithmetic an exposition of the theory of Kurt G&ouml;del ent://SD_ILS/0/SD_ILS:257274 2024-10-30T19:06:31Z 2024-10-30T19:06:31Z Author&#160;Mostowski, Andrzej.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444533753">http://www.sciencedirect.com/science/book/9780444533753</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/>