Search Results for Logic, history.SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dLogic$00252C$002bhistory.$0026te$003dILS$0026ps$003d300?2024-11-14T10:35:04ZThe Cold War and After : History, Theory, and the Logic of International Politics.ent://SD_ILS/0/SD_ILS:3761682024-11-14T10:35:04Z2024-11-14T10:35:04ZAuthor 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:2565622024-11-14T10:35:04Z2024-11-14T10:35:04ZAuthor 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:746462024-11-14T10:35:04Z2024-11-14T10:35:04ZAuthor 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:2566252024-11-14T10:35:04Z2024-11-14T10:35:04ZAuthor 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:2566262024-11-14T10:35:04Z2024-11-14T10:35:04ZAuthor 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:2566012024-11-14T10:35:04Z2024-11-14T10:35:04ZAuthor 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:3553472024-11-14T10:35:04Z2024-11-14T10:35:04ZPreferred 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:1481632024-11-14T10:35:04Z2024-11-14T10:35:04ZAuthor 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:1479622024-11-14T10:35:04Z2024-11-14T10:35:04ZAuthor 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:1479812024-11-14T10:35:04Z2024-11-14T10:35:04ZAuthor 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:1480372024-11-14T10:35:04Z2024-11-14T10:35:04ZAuthor 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:1522202024-11-14T10:35:04Z2024-11-14T10:35:04ZAuthor 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:1522222024-11-14T10:35:04Z2024-11-14T10:35:04ZAuthor 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:2573022024-11-14T10:35:04Z2024-11-14T10:35:04ZAuthor 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:2572322024-11-14T10:35:04Z2024-11-14T10:35:04ZAuthor 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:2573602024-11-14T10:35:04Z2024-11-14T10:35:04ZAuthor 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:851592024-11-14T10:35:04Z2024-11-14T10:35:04ZAuthor 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:5205742024-11-14T10:35:04Z2024-11-14T10:35:04ZAuthor O'Regan, Gerard. author. SpringerLink (Online service)<br/>Preferred Shelf Number XX(520574.1)<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:5208422024-11-14T10:35:04Z2024-11-14T10:35:04ZAuthor Kupferman, Orna. editor. Sobocinski, Pawel. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(520842.1)<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/>Mantık tarihi : ortaçağent://SD_ILS/0/SD_ILS:5137782024-11-14T10:35:04Z2024-11-14T10:35:04ZAuthor İ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:3933082024-11-14T10:35:04Z2024-11-14T10:35:04ZAuthor İ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:5178152024-11-14T10:35:04Z2024-11-14T10:35:04ZAuthor İ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:3872792024-11-14T10:35:04Z2024-11-14T10:35:04ZAuthor 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:3855052024-11-14T10:35:04Z2024-11-14T10:35:04ZAuthor 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:5191462024-11-14T10:35:04Z2024-11-14T10:35:04ZAuthor Voronkov, Andrei. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(519146.1)<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/>Paper money collapse : the folly of elastic moneyent://SD_ILS/0/SD_ILS:3419342024-11-14T10:35:04Z2024-11-14T10:35:04ZAuthor 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/>Monica Bonvicinient://SD_ILS/0/SD_ILS:3575602024-11-14T10:35:04Z2024-11-14T10:35:04ZAuthor 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/>The logician and the engineer : how George Boole and Claude Shannon created the information ageent://SD_ILS/0/SD_ILS:3767782024-11-14T10:35:04Z2024-11-14T10:35:04ZAuthor 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/>After evil : a politics of human rightsent://SD_ILS/0/SD_ILS:3751402024-11-14T10:35:04Z2024-11-14T10:35:04ZAuthor 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/>Hermeneutic communism : from Heidegger to Marxent://SD_ILS/0/SD_ILS:3760012024-11-14T10:35:04Z2024-11-14T10:35:04ZAuthor 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/>Propositions, functions, and analysis selected essays on Russell's philosophyent://SD_ILS/0/SD_ILS:2315782024-11-14T10:35:04Z2024-11-14T10:35:04ZAuthor 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/>Studies in post-medieval semanticsent://SD_ILS/0/SD_ILS:975772024-11-14T10:35:04Z2024-11-14T10:35:04ZAuthor Ashworth, E. J.<br/>Preferred Shelf Number P 106 A78 1985<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:976522024-11-14T10:35:04Z2024-11-14T10:35:04ZAuthor 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/>Judgment and proposition : from Descartes to Kantent://SD_ILS/0/SD_ILS:5226222024-11-14T10:35:04Z2024-11-14T10:35:04ZAuthor Nuchelmans, Gabriel.<br/>Preferred Shelf Number BC181 N78 1983<br/>Format: Books<br/>Availability Beytepe Library~1<br/>