Arama Sonu&ccedil;lar&#305; Kohlenbach, Ulrich. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/tr_TR/default_tr/default_tr/qu$003dKohlenbach$00252C$002bUlrich.$0026ps$003d300?dt=list 2024-11-29T05:06:35Z Logic, Language, Information, and Computation 21st International Workshop, WoLLIC 2014, Valpara&iacute;so, Chile, September 1-4, 2014. Proceedings ent://SD_ILS/0/SD_ILS:482852 2024-11-29T05:06:35Z 2024-11-29T05:06:35Z Yazar&#160;Kohlenbach, Ulrich. editor.&#160;Barcel&oacute;, Pablo. editor.&#160;de Queiroz, Ruy J G B. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-662-44145-9">https://doi.org/10.1007/978-3-662-44145-9</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Applied Proof Theory: Proof Interpretations and Their Use in Mathematics ent://SD_ILS/0/SD_ILS:187903 2024-11-29T05:06:35Z 2024-11-29T05:06:35Z Yazar&#160;Kohlenbach, Ulrich. author.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-540-77533-1">http://dx.doi.org/10.1007/978-3-540-77533-1</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Logic Colloquium 2007 ent://SD_ILS/0/SD_ILS:236783 2024-11-29T05:06:35Z 2024-11-29T05:06:35Z Yazar&#160;Delon, Fran&ccedil;oise.&#160;Kohlenbach, Ulrich.&#160;Maddy, Penelope.&#160;Stephan, Frank.<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1017/CBO9780511778421">Access by subscription</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Logic, Language, Information, and Computation 20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334875 2024-11-29T05:06:35Z 2024-11-29T05:06:35Z Yazar&#160;Libkin, Leonid. editor.&#160;Kohlenbach, Ulrich. editor.&#160;Queiroz, Ruy. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE(334875.1)<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-642-39992-3">http://dx.doi.org/10.1007/978-3-642-39992-3</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/>