Search Results for Logic -- History.SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dLogic$002b--$002bHistory.$0026ic$003dtrue$0026ps$003d300?dt=list2026-01-16T05:28:39ZThe Cold War and After : History, Theory, and the Logic of International Politics.ent://SD_ILS/0/SD_ILS:3761682026-01-16T05:28:39Z2026-01-16T05:28:39ZAuthor Trachtenberg, Marc.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://www.jstor.org/stable/10.2307/j.ctt7rk9r">http://www.jstor.org/stable/10.2307/j.ctt7rk9r</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>From Peirce to Skolem a neglected chapter in the history of logicent://SD_ILS/0/SD_ILS:2565622026-01-16T05:28:39Z2026-01-16T05:28:39ZAuthor Brady, Geraldine.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444503343">http://www.sciencedirect.com/science/book/9780444503343</a><br/>Format: Electronic Resources<br/>Availability Online Library~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-16T05:28:39Z2026-01-16T05:28:39ZAuthor Yourgrau, Wolfgang, ed. Breck, Allen D., ed.<br/>Preferred Shelf Number QC 6 P47 1970<br/>Format: Books<br/>Availability Beytepe Library~1<br/>The rise of modern logic from Leibniz to Fregeent://SD_ILS/0/SD_ILS:2566252026-01-16T05:28:39Z2026-01-16T05:28:39ZAuthor Gabbay, Dov M., 1945- Woods, John (John Hayden)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444516114">http://www.sciencedirect.com/science/book/9780444516114</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Logic and the modalities in the twentieth centuryent://SD_ILS/0/SD_ILS:2566262026-01-16T05:28:39Z2026-01-16T05:28:39ZAuthor Gabbay, Dov M., 1945- Woods, John (John Hayden)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444516220">http://www.sciencedirect.com/science/book/9780444516220</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Greek, Indian, and Arabic logicent://SD_ILS/0/SD_ILS:2566012026-01-16T05:28:39Z2026-01-16T05:28:39ZAuthor Gabbay, Dov M., 1945- Woods, John (John Hayden)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444504661">http://www.sciencedirect.com/science/book/9780444504661</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computational logicent://SD_ILS/0/SD_ILS:3553472026-01-16T05:28:39Z2026-01-16T05:28:39ZPreferred Shelf Number ONLINE(355347.1)<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444516244">http://www.sciencedirect.com/science/book/9780444516244</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>The many valued and non-monotonic turn in logicent://SD_ILS/0/SD_ILS:1479622026-01-16T05:28:39Z2026-01-16T05:28:39ZAuthor Gabbay, Dov M., 1945- Woods, John (John Hayden)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>The many valued and non-monotonic turn in logicent://SD_ILS/0/SD_ILS:1479812026-01-16T05:28:39Z2026-01-16T05:28:39ZAuthor Gabbay, Dov M., 1945- Woods, John (John Hayden)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>The many valued and non-monotonic turn in logicent://SD_ILS/0/SD_ILS:1480372026-01-16T05:28:39Z2026-01-16T05:28:39ZAuthor Gabbay, Dov M., 1945- Woods, John (John Hayden)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>The many valued and non-monotonic turn in logicent://SD_ILS/0/SD_ILS:1481632026-01-16T05:28:39Z2026-01-16T05:28:39ZAuthor Gabbay, Dov M., 1945- Woods, John (John Hayden)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Intuition and the Axiomatic Methodent://SD_ILS/0/SD_ILS:1522202026-01-16T05:28:39Z2026-01-16T05:28:39ZAuthor Carson, Emily. Huber, Renate. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>A logical Approach to Philosophy Essays in Honour of Graham Solomonent://SD_ILS/0/SD_ILS:1522222026-01-16T05:28:39Z2026-01-16T05:28:39ZAuthor Devidi, David. Kenyon, Tim. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-16T05:28:39Z2026-01-16T05:28:39ZAuthor 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/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444104915">http://www.sciencedirect.com/science/book/9780444104915</a><br/>Format: Electronic Resources<br/>Availability Online Library~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-16T05:28:39Z2026-01-16T05:28:39ZAuthor 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/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780720422610">http://www.sciencedirect.com/science/book/9780720422610</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Problems in the philosophy of scienceent://SD_ILS/0/SD_ILS:2573602026-01-16T05:28:39Z2026-01-16T05:28:39ZAuthor International Colloquium in the Philosophy of Science (1965 : Bedford College) Lakatos, Imre. Musgrave, Alan. Bedford College. British Society for the Philosophy of Science.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444534132">http://www.sciencedirect.com/science/book/9780444534132</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>İslam mantık tarihi ve Farabi mantığıent://SD_ILS/0/SD_ILS:851592026-01-16T05:28:39Z2026-01-16T05:28:39ZAuthor Keklik, Nihat.<br/>Preferred Shelf Number BC 34 K4 1969-70<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Mathematical Foundations of Software Engineering A Practical Guide to Essentialsent://SD_ILS/0/SD_ILS:5205742026-01-16T05:28:39Z2026-01-16T05:28:39ZAuthor O'Regan, Gerard. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-16T05:28:39Z2026-01-16T05:28:39ZAuthor Kupferman, Orna. editor. Sobocinski, Pawel. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Archaeology of logicent://SD_ILS/0/SD_ILS:5714342026-01-16T05:28:39Z2026-01-16T05:28:39ZAuthor Schumann, Andrew, author.<br/>Preferred Shelf Number K213<br/>Electronic Access 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: Electronic Resources<br/>Availability Online Library~1<br/>Mantık tarihi : ortaçağent://SD_ILS/0/SD_ILS:5137782026-01-16T05:28:39Z2026-01-16T05:28:39ZAuthor İnönü, Nazlı.<br/>Preferred Shelf Number BC28 I561 2019<br/>Format: Books<br/>Availability Beytepe Library~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-16T05:28:39Z2026-01-16T05:28:39ZAuthor İbn Hazm El-Endelüsi Çapak, İbrahim. Arıkaner, Yusuf. Türkiye Yazma Eserler Kurumu Başkanlığı, publisher.<br/>Preferred Shelf Number BC78.T8 I26 2018<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Mantık tarihi : İlk çağent://SD_ILS/0/SD_ILS:5178152026-01-16T05:28:39Z2026-01-16T05:28:39ZAuthor İnönü, Nazlı.<br/>Preferred Shelf Number BC28 I562 2017<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Prof.Dr.Mübahat Türker-Küyel makalelerient://SD_ILS/0/SD_ILS:3872792026-01-16T05:28:39Z2026-01-16T05:28:39ZAuthor Türker-Küyel, Mübahat Dinç, Şeyma.<br/>Preferred Shelf Number B67 T87 2017 V.1<br/>Format: Books<br/>Availability Beytepe Library~3<br/>Mantık risâleleri : (İnceleme - çeviri yazı - tıpkıbasım)ent://SD_ILS/0/SD_ILS:3855052026-01-16T05:28:39Z2026-01-16T05:28:39ZAuthor Ladikli Mehmed Çelebi, -1495, contributor. Çapak, İbrahim. Öğmen, Mesud. Demir, Abdullah.<br/>Preferred Shelf Number B740 M36 2015<br/>Format: Books<br/>Availability Beytepe Library~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-16T05:28:39Z2026-01-16T05:28:39ZAuthor Voronkov, Andrei. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Monica Bonvicinient://SD_ILS/0/SD_ILS:3575602026-01-16T05:28:39Z2026-01-16T05:28:39ZAuthor Kraynak, Janet, author. Rebentisch, Juliane, 1970- author. Alberro, Alexander, author.<br/>Preferred Shelf Number N6923.B5937 M66 2014<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Paper money collapse : the folly of elastic moneyent://SD_ILS/0/SD_ILS:3419342026-01-16T05:28:39Z2026-01-16T05:28:39ZAuthor Schlichter, Detlev S., 1964-<br/>Preferred Shelf Number ONLINE(341934.1)<br/>Electronic Access 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: Electronic Resources<br/>Availability Online Library~1<br/>The logician and the engineer : how George Boole and Claude Shannon created the information ageent://SD_ILS/0/SD_ILS:3767782026-01-16T05:28:39Z2026-01-16T05:28:39ZAuthor Nahin, Paul J.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://www.jstor.org/stable/10.2307/j.cttq957s">http://www.jstor.org/stable/10.2307/j.cttq957s</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Hermeneutic communism : from Heidegger to Marxent://SD_ILS/0/SD_ILS:3760012026-01-16T05:28:39Z2026-01-16T05:28:39ZAuthor Vattimo, Gianni, 1936- Zabala, Santiago, 1975-<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://www.jstor.org/stable/10.7312/vatt15802">http://www.jstor.org/stable/10.7312/vatt15802</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>After evil : a politics of human rightsent://SD_ILS/0/SD_ILS:3751402026-01-16T05:28:39Z2026-01-16T05:28:39ZAuthor Meister, Robert, 1947-<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://www.jstor.org/stable/10.7312/meis15036">http://www.jstor.org/stable/10.7312/meis15036</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Propositions, functions, and analysis selected essays on Russell's philosophyent://SD_ILS/0/SD_ILS:2315782026-01-16T05:28:39Z2026-01-16T05:28:39ZAuthor Hylton, Peter.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access 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: Electronic Resources<br/>Availability Online Library~1<br/>Low-power CMOS circuits : technology, logic design and CAD toolsent://SD_ILS/0/SD_ILS:5474912026-01-16T05:28:39Z2026-01-16T05:28:39ZAuthor Piguet, Christian, author.<br/>Preferred Shelf Number TK7871.99 .M44 P56 2006<br/>Electronic Access <a href="https://www.taylorfrancis.com/books/9781420036503">Click here to view.</a><br/>Format: Books<br/>Availability Online Library~1<br/>Low-power electronics designent://SD_ILS/0/SD_ILS:5444902026-01-16T05:28:39Z2026-01-16T05:28:39ZAuthor Piguet, Christian.<br/>Preferred Shelf Number TK7874.66 .L65 2005<br/>Electronic Access <a href="https://www.taylorfrancis.com/books/9781420039559">Click here to view.</a><br/>Format: Books<br/>Availability Online Library~1<br/>Insect diets : science and technologyent://SD_ILS/0/SD_ILS:5462312026-01-16T05:28:39Z2026-01-16T05:28:39ZAuthor Cohen, Allen Carson., author.<br/>Preferred Shelf Number SF518 .C64 2004<br/>Electronic Access <a href="https://www.taylorfrancis.com/books/9780203488690">Click here to view.</a><br/>Format: Books<br/>Availability Online Library~1<br/>Root cause analysis : improving performance for bottom-line resultsent://SD_ILS/0/SD_ILS:5418832026-01-16T05:28:39Z2026-01-16T05:28:39ZAuthor Latino, Robert J., author. Latino, Kenneth C.<br/>Preferred Shelf Number TS156 .L368 2002<br/>Electronic Access <a href="https://www.taylorfrancis.com/books/9781420040418">Click here to view.</a><br/>Format: Books<br/>Availability Online Library~1<br/>Studies in post-medieval semanticsent://SD_ILS/0/SD_ILS:975772026-01-16T05:28:39Z2026-01-16T05:28:39ZAuthor Ashworth, E. J.<br/>Preferred Shelf Number P 106 A78 1985<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Judgment and proposition : from Descartes to Kantent://SD_ILS/0/SD_ILS:5226222026-01-16T05:28:39Z2026-01-16T05:28:39ZAuthor Nuchelmans, Gabriel.<br/>Preferred Shelf Number BC181 N78 1983<br/>Format: Books<br/>Availability Beytepe Library~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-16T05:28:39Z2026-01-16T05:28:39ZAuthor European Symposium on Medieval Logic and Semantics (6th : 1983 : Balliol College) Lewry, P. Osmund, ed.<br/>Preferred Shelf Number BC 39.5.G7 E97 1983<br/>Format: Books<br/>Availability Beytepe Library~1<br/>