Arama Sonu&ccedil;lar&#305; Proof theory. - Daralt&#305;lm&#305;&#351;: Logic. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/tr_TR/default_tr/default_tr/qu$003dProof$002btheory.$0026qf$003dSUBJECT$002509Konu$002509Logic.$002509Logic.$0026ic$003dtrue$0026ps$003d300? 2026-01-23T21:41:48Z Hybrid Logic and its Proof-Theory ent://SD_ILS/0/SD_ILS:205716 2026-01-23T21:41:48Z 2026-01-23T21:41:48Z Yazar&#160;Bra&uuml;ner, Torben. 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-94-007-0002-4">http://dx.doi.org/10.1007/978-94-007-0002-4</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Proof Theory for Fuzzy Logics ent://SD_ILS/0/SD_ILS:170527 2026-01-23T21:41:48Z 2026-01-23T21:41:48Z 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/>