Search Results for -- ANS&#304;KLOPED&#304;LER. - Narrowed by: German - Electronic Library - 2013 - Logic, Symbolic and mathematical. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003d--$002bANS$0025C4$0025B0KLOPED$0025C4$0025B0LER.$0026qf$003dLANGUAGE$002509Language$002509GER$002509German$0026qf$003dLOCATION$002509Shelf$002bLocation$0025091$00253AELEKKUTUPH$002509Electronic$002bLibrary$0026qf$003dPUBDATE$002509Publication$002bDate$0025092013$0025092013$0026qf$003dSUBJECT$002509Subject$002509Logic$00252C$002bSymbolic$002band$002bmathematical.$002509Logic$00252C$002bSymbolic$002band$002bmathematical.$0026te$003dILS$0026ps$003d300$0026isd$003dtrue?dt=list 2024-07-15T13:21:52Z Springer-Handbuch der Mathematik II Begr&uuml;ndet von I.N. Bronstein und K.A. Semendjaew Weitergef&uuml;hrt von G. Grosche, V. Ziegler und D. Ziegler Herausgegeben von E. Zeidler ent://SD_ILS/0/SD_ILS:337476 2024-07-15T13:21:52Z 2024-07-15T13:21:52Z Author&#160;Zeidler, Eberhard. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(337476.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-658-00297-8">http://dx.doi.org/10.1007/978-3-658-00297-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Grenzen der Mathematik Eine Reise durch die Kerngebiete der mathematischen Logik ent://SD_ILS/0/SD_ILS:337115 2024-07-15T13:21:52Z 2024-07-15T13:21:52Z Author&#160;Hoffmann, Dirk W. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(337115.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-34720-7">http://dx.doi.org/10.1007/978-3-642-34720-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Die G&ouml;del&rsquo;schen Unvollst&auml;ndigkeitss&auml;tze Eine gef&uuml;hrte Reise durch Kurt G&ouml;dels historischen Beweis ent://SD_ILS/0/SD_ILS:338283 2024-07-15T13:21:52Z 2024-07-15T13:21:52Z Author&#160;Hoffmann, Dirk W. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(338283.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-8274-3000-7">http://dx.doi.org/10.1007/978-3-8274-3000-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> David Hilbert's Lectures on the Foundations of Arithmetic and Logic 1917-1933 ent://SD_ILS/0/SD_ILS:336850 2024-07-15T13:21:52Z 2024-07-15T13:21:52Z Author&#160;Ewald, William. editor.&#160;Sieg, Wilfried. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(336850.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-69444-1">http://dx.doi.org/10.1007/978-3-540-69444-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> An den Grenzen des Endlichen Das Hilbertprogramm im Kontext von Formalismus und Finitismus ent://SD_ILS/0/SD_ILS:336968 2024-07-15T13:21:52Z 2024-07-15T13:21:52Z Author&#160;Tapp, Christian. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(336968.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-29654-3">http://dx.doi.org/10.1007/978-3-642-29654-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/>