Arama Sonu&ccedil;lar&#305; Proof theory. - Daralt&#305;lm&#305;&#351;: Mathematics. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/tr_TR/default_tr/default_tr/qu$003dProof$002btheory.$0026qf$003dSUBJECT$002509Konu$002509Mathematics.$002509Mathematics.$0026te$003dILS$0026ps$003d300?dt=list 2024-12-26T02:52:21Z Proof Theory for Fuzzy Logics ent://SD_ILS/0/SD_ILS:170527 2024-12-26T02:52:21Z 2024-12-26T02:52:21Z Yazar&#160;Metcalfe, George. author.&#160;Olivetti, Nicola. author.&#160;Gabbay, Dov. 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-1-4020-9409-5">http://dx.doi.org/10.1007/978-1-4020-9409-5</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Proof Theory The First Step into Impredicativity ent://SD_ILS/0/SD_ILS:185783 2024-12-26T02:52:21Z 2024-12-26T02:52:21Z Yazar&#160;Pohlers, Wolfram. 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-69319-2">http://dx.doi.org/10.1007/978-3-540-69319-2</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Factors and Factorizations of Graphs Proof Techniques in Factor Theory ent://SD_ILS/0/SD_ILS:194860 2024-12-26T02:52:21Z 2024-12-26T02:52:21Z Yazar&#160;Akiyama, Jin. author.&#160;Kano, Mikio. 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-642-21919-1">http://dx.doi.org/10.1007/978-3-642-21919-1</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-12-26T02:52:21Z 2024-12-26T02:52:21Z 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/> Why is there philosophy of mathematics at all? ent://SD_ILS/0/SD_ILS:364396 2024-12-26T02:52:21Z 2024-12-26T02:52:21Z Yazar&#160;Hacking, Ian, author.<br/>Yer Numaras&#305;&#160;QA8.4 H29 2014<br/>Format:&#160;Kitap<br/>Durum&#160;Beytepe K&uuml;t&uuml;phanesi~1<br/>