Search Results for Baaz, Matthias. - Narrowed by: Online Library SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dBaaz$00252C$002bMatthias.$0026qf$003dLIBRARY$002509Library$0025091$00253AONLINE$002509Online$002bLibrary$0026ic$003dtrue$0026te$003dILS$0026ps$003d300? 2024-10-30T12:45:55Z Kurt G&ouml;del and the Foundations of Mathematics Horizons of Truth ent://SD_ILS/0/SD_ILS:237387 2024-10-30T12:45:55Z 2024-10-30T12:45:55Z 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/> Methods of Cut-Elimination ent://SD_ILS/0/SD_ILS:205808 2024-10-30T12:45:55Z 2024-10-30T12:45:55Z Author&#160;Leitsch, Alexander. author.&#160;Baaz, Matthias. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-94-007-0320-9">http://dx.doi.org/10.1007/978-94-007-0320-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/>