Arama Sonuçları Logic -- History.SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/tr_TR/default_tr/default_tr/qu$003dLogic$002b--$002bHistory.$0026te$003dILS$0026ps$003d300?2024-11-07T17:39:17ZThe Cold War and After : History, Theory, and the Logic of International Politics.ent://SD_ILS/0/SD_ILS:3761682024-11-07T17:39:17Z2024-11-07T17:39:17ZYazar Trachtenberg, Marc.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://www.jstor.org/stable/10.2307/j.ctt7rk9r">http://www.jstor.org/stable/10.2307/j.ctt7rk9r</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>From Peirce to Skolem a neglected chapter in the history of logicent://SD_ILS/0/SD_ILS:2565622024-11-07T17:39:17Z2024-11-07T17:39:17ZYazar Brady, Geraldine.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444503343">http://www.sciencedirect.com/science/book/9780444503343</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Physics, logic and history : based on the First International Colloquium held at the University of Denver, May 116-20, 1966ent://SD_ILS/0/SD_ILS:746462024-11-07T17:39:17Z2024-11-07T17:39:17ZYazar Yourgrau, Wolfgang, ed. Breck, Allen D., ed.<br/>Yer Numarası QC 6 P47 1970<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>The rise of modern logic from Leibniz to Fregeent://SD_ILS/0/SD_ILS:2566252024-11-07T17:39:17Z2024-11-07T17:39:17ZYazar Gabbay, Dov M., 1945- Woods, John (John Hayden)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444516114">http://www.sciencedirect.com/science/book/9780444516114</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Logic and the modalities in the twentieth centuryent://SD_ILS/0/SD_ILS:2566262024-11-07T17:39:17Z2024-11-07T17:39:17ZYazar Gabbay, Dov M., 1945- Woods, John (John Hayden)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444516220">http://www.sciencedirect.com/science/book/9780444516220</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Greek, Indian, and Arabic logicent://SD_ILS/0/SD_ILS:2566012024-11-07T17:39:17Z2024-11-07T17:39:17ZYazar Gabbay, Dov M., 1945- Woods, John (John Hayden)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444504661">http://www.sciencedirect.com/science/book/9780444504661</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Computational logicent://SD_ILS/0/SD_ILS:3553472024-11-07T17:39:17Z2024-11-07T17:39:17ZYer Numarası ONLINE(355347.1)<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444516244">http://www.sciencedirect.com/science/book/9780444516244</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>The many valued and non-monotonic turn in logicent://SD_ILS/0/SD_ILS:1479622024-11-07T17:39:17Z2024-11-07T17:39:17ZYazar Gabbay, Dov M., 1945- Woods, John (John Hayden)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://www.sciencedirect.com/science/publication?issn=18745857&volume=8">Full text</a>
ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444516237">http://www.sciencedirect.com/science/book/9780444516237</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>The many valued and non-monotonic turn in logicent://SD_ILS/0/SD_ILS:1481632024-11-07T17:39:17Z2024-11-07T17:39:17ZYazar Gabbay, Dov M., 1945- Woods, John (John Hayden)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://www.sciencedirect.com/science/publication?issn=18745857&volume=8">Full text</a>
ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444516237">http://www.sciencedirect.com/science/book/9780444516237</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>The many valued and non-monotonic turn in logicent://SD_ILS/0/SD_ILS:1479812024-11-07T17:39:17Z2024-11-07T17:39:17ZYazar Gabbay, Dov M., 1945- Woods, John (John Hayden)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://www.sciencedirect.com/science/publication?issn=18745857&volume=8">Full text</a>
ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444516237">http://www.sciencedirect.com/science/book/9780444516237</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>The many valued and non-monotonic turn in logicent://SD_ILS/0/SD_ILS:1480372024-11-07T17:39:17Z2024-11-07T17:39:17ZYazar Gabbay, Dov M., 1945- Woods, John (John Hayden)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://www.sciencedirect.com/science/publication?issn=18745857&volume=8">Full text</a>
ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444516237">http://www.sciencedirect.com/science/book/9780444516237</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Intuition and the Axiomatic Methodent://SD_ILS/0/SD_ILS:1522202024-11-07T17:39:17Z2024-11-07T17:39:17ZYazar Carson, Emily. Huber, Renate. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/1-4020-4040-7">http://dx.doi.org/10.1007/1-4020-4040-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>A logical Approach to Philosophy Essays in Honour of Graham Solomonent://SD_ILS/0/SD_ILS:1522222024-11-07T17:39:17Z2024-11-07T17:39:17ZYazar Devidi, David. Kenyon, Tim. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/1-4020-4054-7">http://dx.doi.org/10.1007/1-4020-4054-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Logic, methodology and philosophy of science IV proceedings of the Fourth International congress for Logic, Methodology and Philosophy of Science, Bucharest, 1971ent://SD_ILS/0/SD_ILS:2573022024-11-07T17:39:17Z2024-11-07T17:39:17ZYazar International Congress for Logic, Methodology, and Philosophy of Science (4th : 1971 : Bucharest, Romania) Suppes, Patrick, 1922- International Union of the History and Philosophy of Science. Division of Logic, Methodology and Philosophy of Science. Academia Republicii Socialiste România.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444104915">http://www.sciencedirect.com/science/book/9780444104915</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Logic Colloquium '69 proceedings of the Summer School and [fourteenth] Colloquium in Mathematical Logic, Manchester, August 1969ent://SD_ILS/0/SD_ILS:2572322024-11-07T17:39:17Z2024-11-07T17:39:17ZYazar Summer School in Logic (14th : 1969 : Manchester, England) Gandy, R. O. Yates, C. Michael E. North Atlantic Treaty Organization. International Union of the History and Philosophy of Science. Division of Logic, Methodology and Philosophy of Science.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780720422610">http://www.sciencedirect.com/science/book/9780720422610</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Problems in the philosophy of scienceent://SD_ILS/0/SD_ILS:2573602024-11-07T17:39:17Z2024-11-07T17:39:17ZYazar International Colloquium in the Philosophy of Science (1965 : Bedford College) Lakatos, Imre. Musgrave, Alan. Bedford College. British Society for the Philosophy of Science.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444534132">http://www.sciencedirect.com/science/book/9780444534132</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>İslam mantık tarihi ve Farabi mantığıent://SD_ILS/0/SD_ILS:851592024-11-07T17:39:17Z2024-11-07T17:39:17ZYazar Keklik, Nihat.<br/>Yer Numarası BC 34 K4 1969-70<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Mathematical Foundations of Software Engineering A Practical Guide to Essentialsent://SD_ILS/0/SD_ILS:5205742024-11-07T17:39:17Z2024-11-07T17:39:17ZYazar O'Regan, Gerard. author. SpringerLink (Online service)<br/>Yer Numarası XX(520574.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-26212-8">https://doi.org/10.1007/978-3-031-26212-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Foundations of Software Science and Computation Structures 26th International Conference, FoSSaCS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedingsent://SD_ILS/0/SD_ILS:5208422024-11-07T17:39:17Z2024-11-07T17:39:17ZYazar Kupferman, Orna. editor. Sobocinski, Pawel. editor. SpringerLink (Online service)<br/>Yer Numarası XX(520842.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-30829-1">https://doi.org/10.1007/978-3-031-30829-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Mantık tarihi : ortaçağent://SD_ILS/0/SD_ILS:5137782024-11-07T17:39:17Z2024-11-07T17:39:17ZYazar İnönü, Nazlı.<br/>Yer Numarası BC28 I561 2019<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Et-Takrib li-haddi'l-mantık : Mantık ve dini ilimler : (inceleme-metim-çeviri)ent://SD_ILS/0/SD_ILS:3933082024-11-07T17:39:17Z2024-11-07T17:39:17ZYazar İbn Hazm El-Endelüsi Çapak, İbrahim. Arıkaner, Yusuf. Türkiye Yazma Eserler Kurumu Başkanlığı, publisher.<br/>Yer Numarası BC78.T8 I26 2018<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Prof.Dr.Mübahat Türker-Küyel makalelerient://SD_ILS/0/SD_ILS:3872792024-11-07T17:39:17Z2024-11-07T17:39:17ZYazar Türker-Küyel, Mübahat Dinç, Şeyma.<br/>Yer Numarası B67 T87 2017 V.1<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~3<br/>Mantık tarihi : İlk çağent://SD_ILS/0/SD_ILS:5178152024-11-07T17:39:17Z2024-11-07T17:39:17ZYazar İnönü, Nazlı.<br/>Yer Numarası BC28 I562 2017<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Mantık risâleleri : (İnceleme - çeviri yazı - tıpkıbasım)ent://SD_ILS/0/SD_ILS:3855052024-11-07T17:39:17Z2024-11-07T17:39:17ZYazar Ladikli Mehmed Çelebi, -1495, contributor. Çapak, İbrahim. Öğmen, Mesud. Demir, Abdullah.<br/>Yer Numarası B740 M36 2015<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Perspectives of System Informatics 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers.ent://SD_ILS/0/SD_ILS:5191462024-11-07T17:39:17Z2024-11-07T17:39:17ZYazar Voronkov, Andrei. editor. SpringerLink (Online service)<br/>Yer Numarası XX(519146.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-662-46823-4">https://doi.org/10.1007/978-3-662-46823-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Monica Bonvicinient://SD_ILS/0/SD_ILS:3575602024-11-07T17:39:17Z2024-11-07T17:39:17ZYazar Kraynak, Janet, author. Rebentisch, Juliane, 1970- author. Alberro, Alexander, author.<br/>Yer Numarası N6923.B5937 M66 2014<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Paper money collapse : the folly of elastic moneyent://SD_ILS/0/SD_ILS:3419342024-11-07T17:39:17Z2024-11-07T17:39:17ZYazar Schlichter, Detlev S., 1964-<br/>Yer Numarası ONLINE(341934.1)<br/>Elektronik Erişim Cover image <a href="http://catalogimages.wiley.com/images/db/jimages/9781118877326.jpg">http://catalogimages.wiley.com/images/db/jimages/9781118877326.jpg</a>
Ebook Library <a href="http://public.eblib.com/choice/publicfullrecord.aspx?p=1725086">http://public.eblib.com/choice/publicfullrecord.aspx?p=1725086</a>
ebrary <a href="http://site.ebrary.com/id/10891169">http://site.ebrary.com/id/10891169</a>
John Wiley <a href="http://dx.doi.org/10.1002/9781118877340">http://dx.doi.org/10.1002/9781118877340</a>
Cover <a href="http://swbplus.bsz-bw.de/bsz41055152xcov.htm">http://swbplus.bsz-bw.de/bsz41055152xcov.htm</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>The logician and the engineer : how George Boole and Claude Shannon created the information ageent://SD_ILS/0/SD_ILS:3767782024-11-07T17:39:17Z2024-11-07T17:39:17ZYazar Nahin, Paul J.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://www.jstor.org/stable/10.2307/j.cttq957s">http://www.jstor.org/stable/10.2307/j.cttq957s</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Hermeneutic communism : from Heidegger to Marxent://SD_ILS/0/SD_ILS:3760012024-11-07T17:39:17Z2024-11-07T17:39:17ZYazar Vattimo, Gianni, 1936- Zabala, Santiago, 1975-<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://www.jstor.org/stable/10.7312/vatt15802">http://www.jstor.org/stable/10.7312/vatt15802</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>After evil : a politics of human rightsent://SD_ILS/0/SD_ILS:3751402024-11-07T17:39:17Z2024-11-07T17:39:17ZYazar Meister, Robert, 1947-<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://www.jstor.org/stable/10.7312/meis15036">http://www.jstor.org/stable/10.7312/meis15036</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Propositions, functions, and analysis selected essays on Russell's philosophyent://SD_ILS/0/SD_ILS:2315782024-11-07T17:39:17Z2024-11-07T17:39:17ZYazar Hylton, Peter.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim Oxford scholarship online <a href="http://dx.doi.org/10.1093/acprof:oso/9780199286355.001.0001">http://dx.doi.org/10.1093/acprof:oso/9780199286355.001.0001</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Studies in post-medieval semanticsent://SD_ILS/0/SD_ILS:975772024-11-07T17:39:17Z2024-11-07T17:39:17ZYazar Ashworth, E. J.<br/>Yer Numarası P 106 A78 1985<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>The rise of British logic : acts of the Sixth European Symposium on Medieval Logic and Semantics, Balliol College, Oxford, 19-24 June 1983ent://SD_ILS/0/SD_ILS:976522024-11-07T17:39:17Z2024-11-07T17:39:17ZYazar European Symposium on Medieval Logic and Semantics (6th : 1983 : Balliol College) Lewry, P. Osmund, ed.<br/>Yer Numarası BC 39.5.G7 E97 1983<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Judgment and proposition : from Descartes to Kantent://SD_ILS/0/SD_ILS:5226222024-11-07T17:39:17Z2024-11-07T17:39:17ZYazar Nuchelmans, Gabriel.<br/>Yer Numarası BC181 N78 1983<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>