Arama Sonu&ccedil;lar&#305; Foundations. - Daralt&#305;lm&#305;&#351;: Logic. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/tr_TR/default_tr/default_tr/qu$003dFoundations.$0026qf$003dSUBJECT$002509Konu$002509Logic.$002509Logic.$0026ic$003dtrue$0026te$003dILS$0026ps$003d300? 2024-10-26T05:27:29Z Dual Tableaux: Foundations, Methodology, Case Studies ent://SD_ILS/0/SD_ILS:205717 2024-10-26T05:27:29Z 2024-10-26T05:27:29Z Yazar&#160;Orlowska, Ewa. author.&#160;Goli&#324;ska Pilarek, Joanna. 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-0005-5">http://dx.doi.org/10.1007/978-94-007-0005-5</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Foundations of geometry and induction : containing geometry in the sensible world and the logical problem of induction ent://SD_ILS/0/SD_ILS:72527 2024-10-26T05:27:29Z 2024-10-26T05:27:29Z Yazar&#160;Nicod, Jean, 1893-1924.<br/>Yer Numaras&#305;&#160;QA 681 N5 1930 (SET)<br/>Format:&#160;Kitap<br/>Durum&#160;Beytepe K&uuml;t&uuml;phanesi~1<br/> Epistemology versus Ontology Essays on the Philosophy and Foundations of Mathematics in Honour of Per Martin-L&ouml;f ent://SD_ILS/0/SD_ILS:206660 2024-10-26T05:27:29Z 2024-10-26T05:27:29Z Yazar&#160;Dybjer, P. editor.&#160;Lindstr&ouml;m, Sten. editor.&#160;Palmgren, Erik. editor.&#160;Sundholm, G. editor.&#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-4435-6">http://dx.doi.org/10.1007/978-94-007-4435-6</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Procedural Semantics for Hyperintensional Logic Foundations and Applications of Transparent Intensional Logic ent://SD_ILS/0/SD_ILS:205323 2024-10-26T05:27:29Z 2024-10-26T05:27:29Z Yazar&#160;Du&#382;&iacute;, Marie. author.&#160;Jespersen, Bjorn. author.&#160;Materna, Pavel. 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-90-481-8812-3">http://dx.doi.org/10.1007/978-90-481-8812-3</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Epistemic Foundations of Fuzziness Unified Theories on Decision-Choice Processes ent://SD_ILS/0/SD_ILS:188989 2024-10-26T05:27:29Z 2024-10-26T05:27:29Z Yazar&#160;Dompere, Kofi Kissi. 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-88085-1">http://dx.doi.org/10.1007/978-3-540-88085-1</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> The Logical Foundations of Bradley's Metaphysics Judgment, Inference, and Truth ent://SD_ILS/0/SD_ILS:236505 2024-10-26T05:27:29Z 2024-10-26T05:27:29Z Yazar&#160;Allard, James.<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1017/CBO9780511498008">Access by subscription</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Nomological statements and admissible operations ent://SD_ILS/0/SD_ILS:257348 2024-10-26T05:27:29Z 2024-10-26T05:27:29Z Yazar&#160;Reichenbach, Hans, 1891-1953.<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444533791">http://www.sciencedirect.com/science/book/9780444533791</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Ancient formal logic ent://SD_ILS/0/SD_ILS:257215 2024-10-26T05:27:29Z 2024-10-26T05:27:29Z Yazar&#160;Bochenski, Joseph M., 1902-1995.<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444533678">http://www.sciencedirect.com/science/book/9780444533678</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Logical Thinking in the Pyramidal Schema of Concepts: The Logical and Mathematical Elements ent://SD_ILS/0/SD_ILS:335941 2024-10-26T05:27:29Z 2024-10-26T05:27:29Z Yazar&#160;Geldsetzer, Lutz. author.&#160;Schwartz, Richard L. author.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE(335941.1)<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-94-007-5301-3">http://dx.doi.org/10.1007/978-94-007-5301-3</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> The Argument of Mathematics ent://SD_ILS/0/SD_ILS:336263 2024-10-26T05:27:29Z 2024-10-26T05:27:29Z Yazar&#160;Aberdein, Andrew. editor.&#160;Dove, Ian J. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE(336263.1)<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-94-007-6534-4">http://dx.doi.org/10.1007/978-94-007-6534-4</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Belief Revision in Non-Classical Logics ent://SD_ILS/0/SD_ILS:330925 2024-10-26T05:27:29Z 2024-10-26T05:27:29Z Yazar&#160;Ribeiro, M&aacute;rcio Moretto. author.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE(330925.1)<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-1-4471-4186-0">http://dx.doi.org/10.1007/978-1-4471-4186-0</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Visual Reasoning with Diagrams ent://SD_ILS/0/SD_ILS:332637 2024-10-26T05:27:29Z 2024-10-26T05:27:29Z Yazar&#160;Moktefi, Amirouche. editor.&#160;Shin, Sun-Joo. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE(332637.1)<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-0348-0600-8">http://dx.doi.org/10.1007/978-3-0348-0600-8</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Towards a General Theory of Classifications ent://SD_ILS/0/SD_ILS:332639 2024-10-26T05:27:29Z 2024-10-26T05:27:29Z Yazar&#160;Parrochia, Daniel. author.&#160;Neuville, Pierre. author.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE(332639.1)<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-0348-0609-1">http://dx.doi.org/10.1007/978-3-0348-0609-1</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Reactive Kripke Semantics ent://SD_ILS/0/SD_ILS:335100 2024-10-26T05:27:29Z 2024-10-26T05:27:29Z Yazar&#160;Gabbay, Dov M. author.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE(335100.1)<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-642-41389-6">http://dx.doi.org/10.1007/978-3-642-41389-6</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/>