Arama Sonuçları Logic -- History.SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/tr_TR/default_tr/default_tr/qu$003dLogic$002b--$002bHistory.$0026ic$003dtrue$0026ps$003d300?dt=list2026-01-16T03:48:48ZThe Cold War and After : History, Theory, and the Logic of International Politics.ent://SD_ILS/0/SD_ILS:3761682026-01-16T03:48:48Z2026-01-16T03:48:48ZYazar 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:2565622026-01-16T03:48:48Z2026-01-16T03:48:48ZYazar 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:746462026-01-16T03:48:48Z2026-01-16T03:48:48ZYazar 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:2566252026-01-16T03:48:48Z2026-01-16T03:48:48ZYazar 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:2566262026-01-16T03:48:48Z2026-01-16T03:48:48ZYazar 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:2566012026-01-16T03:48:48Z2026-01-16T03:48:48ZYazar 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:3553472026-01-16T03:48:48Z2026-01-16T03:48:48ZYer 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:1479622026-01-16T03:48:48Z2026-01-16T03:48:48ZYazar 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:1479812026-01-16T03:48:48Z2026-01-16T03:48:48ZYazar 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:1480372026-01-16T03:48:48Z2026-01-16T03:48:48ZYazar 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:1481632026-01-16T03:48:48Z2026-01-16T03:48:48ZYazar 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:1522202026-01-16T03:48:48Z2026-01-16T03:48:48ZYazar 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:1522222026-01-16T03:48:48Z2026-01-16T03:48:48ZYazar 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:2573022026-01-16T03:48:48Z2026-01-16T03:48:48ZYazar 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:2572322026-01-16T03:48:48Z2026-01-16T03:48:48ZYazar 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:2573602026-01-16T03:48:48Z2026-01-16T03:48:48ZYazar 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:851592026-01-16T03:48:48Z2026-01-16T03:48:48ZYazar 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:5205742026-01-16T03:48:48Z2026-01-16T03:48:48ZYazar O'Regan, Gerard. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<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:5208422026-01-16T03:48:48Z2026-01-16T03:48:48ZYazar Kupferman, Orna. editor. Sobocinski, Pawel. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<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/>Archaeology of logicent://SD_ILS/0/SD_ILS:5714342026-01-16T03:48:48Z2026-01-16T03:48:48ZYazar Schumann, Andrew, author.<br/>Yer Numarası K213<br/>Elektronik Erişim Taylor & Francis <a href="https://www.taylorfrancis.com/books/9781003316466">https://www.taylorfrancis.com/books/9781003316466</a>
OCLC metadata license agreement <a href="http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf">http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf</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:5137782026-01-16T03:48:48Z2026-01-16T03:48:48ZYazar İ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:3933082026-01-16T03:48:48Z2026-01-16T03:48:48ZYazar İ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/>Mantık tarihi : İlk çağent://SD_ILS/0/SD_ILS:5178152026-01-16T03:48:48Z2026-01-16T03:48:48ZYazar İnönü, Nazlı.<br/>Yer Numarası BC28 I562 2017<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:3872792026-01-16T03:48:48Z2026-01-16T03:48:48ZYazar 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 risâleleri : (İnceleme - çeviri yazı - tıpkıbasım)ent://SD_ILS/0/SD_ILS:3855052026-01-16T03:48:48Z2026-01-16T03:48:48ZYazar 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:5191462026-01-16T03:48:48Z2026-01-16T03:48:48ZYazar Voronkov, Andrei. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<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:3575602026-01-16T03:48:48Z2026-01-16T03:48:48ZYazar 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:3419342026-01-16T03:48:48Z2026-01-16T03:48:48ZYazar 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:3767782026-01-16T03:48:48Z2026-01-16T03:48:48ZYazar 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:3760012026-01-16T03:48:48Z2026-01-16T03:48:48ZYazar 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:3751402026-01-16T03:48:48Z2026-01-16T03:48:48ZYazar 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:2315782026-01-16T03:48:48Z2026-01-16T03:48:48ZYazar 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/>Low-power CMOS circuits : technology, logic design and CAD toolsent://SD_ILS/0/SD_ILS:5474912026-01-16T03:48:48Z2026-01-16T03:48:48ZYazar Piguet, Christian, author.<br/>Yer Numarası TK7871.99 .M44 P56 2006<br/>Elektronik Erişim <a href="https://www.taylorfrancis.com/books/9781420036503">Click here to view.</a><br/>Format: Kitap<br/>Durum Çevrimiçi Kütüphane~1<br/>Low-power electronics designent://SD_ILS/0/SD_ILS:5444902026-01-16T03:48:48Z2026-01-16T03:48:48ZYazar Piguet, Christian.<br/>Yer Numarası TK7874.66 .L65 2005<br/>Elektronik Erişim <a href="https://www.taylorfrancis.com/books/9781420039559">Click here to view.</a><br/>Format: Kitap<br/>Durum Çevrimiçi Kütüphane~1<br/>Insect diets : science and technologyent://SD_ILS/0/SD_ILS:5462312026-01-16T03:48:48Z2026-01-16T03:48:48ZYazar Cohen, Allen Carson., author.<br/>Yer Numarası SF518 .C64 2004<br/>Elektronik Erişim <a href="https://www.taylorfrancis.com/books/9780203488690">Click here to view.</a><br/>Format: Kitap<br/>Durum Çevrimiçi Kütüphane~1<br/>Root cause analysis : improving performance for bottom-line resultsent://SD_ILS/0/SD_ILS:5418832026-01-16T03:48:48Z2026-01-16T03:48:48ZYazar Latino, Robert J., author. Latino, Kenneth C.<br/>Yer Numarası TS156 .L368 2002<br/>Elektronik Erişim <a href="https://www.taylorfrancis.com/books/9781420040418">Click here to view.</a><br/>Format: Kitap<br/>Durum Çevrimiçi Kütüphane~1<br/>Studies in post-medieval semanticsent://SD_ILS/0/SD_ILS:975772026-01-16T03:48:48Z2026-01-16T03:48:48ZYazar Ashworth, E. J.<br/>Yer Numarası P 106 A78 1985<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Judgment and proposition : from Descartes to Kantent://SD_ILS/0/SD_ILS:5226222026-01-16T03:48:48Z2026-01-16T03:48:48ZYazar Nuchelmans, Gabriel.<br/>Yer Numarası BC181 N78 1983<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:976522026-01-16T03:48:48Z2026-01-16T03:48:48ZYazar 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/>