Search Results for Logic, history. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dLogic$00252C$002bhistory.$0026te$003dILS$0026ps$003d300? 2024-11-14T10:35:04Z The Cold War and After : History, Theory, and the Logic of International Politics. ent://SD_ILS/0/SD_ILS:376168 2024-11-14T10:35:04Z 2024-11-14T10:35:04Z Author&#160;Trachtenberg, Marc.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://www.jstor.org/stable/10.2307/j.ctt7rk9r">http://www.jstor.org/stable/10.2307/j.ctt7rk9r</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> From Peirce to Skolem a neglected chapter in the history of logic ent://SD_ILS/0/SD_ILS:256562 2024-11-14T10:35:04Z 2024-11-14T10:35:04Z Author&#160;Brady, Geraldine.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444503343">http://www.sciencedirect.com/science/book/9780444503343</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Physics, logic and history : based on the First International Colloquium held at the University of Denver, May 116-20, 1966 ent://SD_ILS/0/SD_ILS:74646 2024-11-14T10:35:04Z 2024-11-14T10:35:04Z Author&#160;Yourgrau, Wolfgang, ed.&#160;Breck, Allen D., ed.<br/>Preferred Shelf Number&#160;QC 6 P47 1970<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/> The rise of modern logic from Leibniz to Frege ent://SD_ILS/0/SD_ILS:256625 2024-11-14T10:35:04Z 2024-11-14T10:35:04Z Author&#160;Gabbay, Dov M., 1945-&#160;Woods, John (John Hayden)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444516114">http://www.sciencedirect.com/science/book/9780444516114</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logic and the modalities in the twentieth century ent://SD_ILS/0/SD_ILS:256626 2024-11-14T10:35:04Z 2024-11-14T10:35:04Z Author&#160;Gabbay, Dov M., 1945-&#160;Woods, John (John Hayden)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444516220">http://www.sciencedirect.com/science/book/9780444516220</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Greek, Indian, and Arabic logic ent://SD_ILS/0/SD_ILS:256601 2024-11-14T10:35:04Z 2024-11-14T10:35:04Z Author&#160;Gabbay, Dov M., 1945-&#160;Woods, John (John Hayden)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444504661">http://www.sciencedirect.com/science/book/9780444504661</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational logic ent://SD_ILS/0/SD_ILS:355347 2024-11-14T10:35:04Z 2024-11-14T10:35:04Z Preferred Shelf Number&#160;ONLINE(355347.1)<br/>Electronic Access&#160;ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444516244">http://www.sciencedirect.com/science/book/9780444516244</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> The many valued and non-monotonic turn in logic ent://SD_ILS/0/SD_ILS:148163 2024-11-14T10:35:04Z 2024-11-14T10:35:04Z Author&#160;Gabbay, Dov M., 1945-&#160;Woods, John (John Hayden)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> The many valued and non-monotonic turn in logic ent://SD_ILS/0/SD_ILS:147962 2024-11-14T10:35:04Z 2024-11-14T10:35:04Z Author&#160;Gabbay, Dov M., 1945-&#160;Woods, John (John Hayden)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> The many valued and non-monotonic turn in logic ent://SD_ILS/0/SD_ILS:147981 2024-11-14T10:35:04Z 2024-11-14T10:35:04Z Author&#160;Gabbay, Dov M., 1945-&#160;Woods, John (John Hayden)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> The many valued and non-monotonic turn in logic ent://SD_ILS/0/SD_ILS:148037 2024-11-14T10:35:04Z 2024-11-14T10:35:04Z Author&#160;Gabbay, Dov M., 1945-&#160;Woods, John (John Hayden)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Intuition and the Axiomatic Method ent://SD_ILS/0/SD_ILS:152220 2024-11-14T10:35:04Z 2024-11-14T10:35:04Z Author&#160;Carson, Emily.&#160;Huber, Renate.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> A logical Approach to Philosophy Essays in Honour of Graham Solomon ent://SD_ILS/0/SD_ILS:152222 2024-11-14T10:35:04Z 2024-11-14T10:35:04Z Author&#160;Devidi, David.&#160;Kenyon, Tim.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;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, 1971 ent://SD_ILS/0/SD_ILS:257302 2024-11-14T10:35:04Z 2024-11-14T10:35:04Z Author&#160;International Congress for Logic, Methodology, and Philosophy of Science (4th : 1971 : Bucharest, Romania)&#160;Suppes, Patrick, 1922-&#160;International Union of the History and Philosophy of Science. Division of Logic, Methodology and Philosophy of Science.&#160;Academia Republicii Socialiste Rom&acirc;nia.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444104915">http://www.sciencedirect.com/science/book/9780444104915</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logic Colloquium '69 proceedings of the Summer School and [fourteenth] Colloquium in Mathematical Logic, Manchester, August 1969 ent://SD_ILS/0/SD_ILS:257232 2024-11-14T10:35:04Z 2024-11-14T10:35:04Z Author&#160;Summer School in Logic (14th : 1969 : Manchester, England)&#160;Gandy, R. O.&#160;Yates, C. Michael E.&#160;North Atlantic Treaty Organization.&#160;International Union of the History and Philosophy of Science. Division of Logic, Methodology and Philosophy of Science.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780720422610">http://www.sciencedirect.com/science/book/9780720422610</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Problems in the philosophy of science ent://SD_ILS/0/SD_ILS:257360 2024-11-14T10:35:04Z 2024-11-14T10:35:04Z Author&#160;International Colloquium in the Philosophy of Science (1965 : Bedford College)&#160;Lakatos, Imre.&#160;Musgrave, Alan.&#160;Bedford College.&#160;British Society for the Philosophy of Science.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444534132">http://www.sciencedirect.com/science/book/9780444534132</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> &#304;slam mant&#305;k tarihi ve Farabi mant&#305;&#287;&#305; ent://SD_ILS/0/SD_ILS:85159 2024-11-14T10:35:04Z 2024-11-14T10:35:04Z Author&#160;Keklik, Nihat.<br/>Preferred Shelf Number&#160;BC 34 K4 1969-70<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/> Mathematical Foundations of Software Engineering A Practical Guide to Essentials ent://SD_ILS/0/SD_ILS:520574 2024-11-14T10:35:04Z 2024-11-14T10:35:04Z Author&#160;O'Regan, Gerard. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(520574.1)<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;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, Proceedings ent://SD_ILS/0/SD_ILS:520842 2024-11-14T10:35:04Z 2024-11-14T10:35:04Z Author&#160;Kupferman, Orna. editor.&#160;Sobocinski, Pawel. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(520842.1)<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Mant&#305;k tarihi : orta&ccedil;a&#287; ent://SD_ILS/0/SD_ILS:513778 2024-11-14T10:35:04Z 2024-11-14T10:35:04Z Author&#160;&#304;n&ouml;n&uuml;, Nazl&#305;.<br/>Preferred Shelf Number&#160;BC28 I561 2019<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/> Et-Takrib li-haddi'l-mant&#305;k : Mant&#305;k ve dini ilimler : (inceleme-metim-&ccedil;eviri) ent://SD_ILS/0/SD_ILS:393308 2024-11-14T10:35:04Z 2024-11-14T10:35:04Z Author&#160;&#304;bn Hazm El-Endel&uuml;si&#160;&Ccedil;apak, &#304;brahim.&#160;Ar&#305;kaner, Yusuf.&#160;T&uuml;rkiye Yazma Eserler Kurumu Ba&#351;kanl&#305;&#287;&#305;, publisher.<br/>Preferred Shelf Number&#160;BC78.T8 I26 2018<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/> Mant&#305;k tarihi : &#304;lk &ccedil;a&#287; ent://SD_ILS/0/SD_ILS:517815 2024-11-14T10:35:04Z 2024-11-14T10:35:04Z Author&#160;&#304;n&ouml;n&uuml;, Nazl&#305;.<br/>Preferred Shelf Number&#160;BC28 I562 2017<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/> Prof.Dr.M&uuml;bahat T&uuml;rker-K&uuml;yel makaleleri ent://SD_ILS/0/SD_ILS:387279 2024-11-14T10:35:04Z 2024-11-14T10:35:04Z Author&#160;T&uuml;rker-K&uuml;yel, M&uuml;bahat&#160;Din&ccedil;, &#350;eyma.<br/>Preferred Shelf Number&#160;B67 T87 2017 V.1<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~3<br/> Mant&#305;k ris&acirc;leleri : (&#304;nceleme - &ccedil;eviri yaz&#305; - t&#305;pk&#305;bas&#305;m) ent://SD_ILS/0/SD_ILS:385505 2024-11-14T10:35:04Z 2024-11-14T10:35:04Z Author&#160;Ladikli Mehmed &Ccedil;elebi, -1495, contributor.&#160;&Ccedil;apak, &#304;brahim.&#160;&Ouml;&#287;men, Mesud.&#160;Demir, Abdullah.<br/>Preferred Shelf Number&#160;B740 M36 2015<br/>Format:&#160;Books<br/>Availability&#160;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:519146 2024-11-14T10:35:04Z 2024-11-14T10:35:04Z Author&#160;Voronkov, Andrei. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(519146.1)<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Paper money collapse : the folly of elastic money ent://SD_ILS/0/SD_ILS:341934 2024-11-14T10:35:04Z 2024-11-14T10:35:04Z Author&#160;Schlichter, Detlev S., 1964-<br/>Preferred Shelf Number&#160;ONLINE(341934.1)<br/>Electronic Access&#160;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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Monica Bonvicini ent://SD_ILS/0/SD_ILS:357560 2024-11-14T10:35:04Z 2024-11-14T10:35:04Z Author&#160;Kraynak, Janet, author.&#160;Rebentisch, Juliane, 1970- author.&#160;Alberro, Alexander, author.<br/>Preferred Shelf Number&#160;N6923.B5937 M66 2014<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/> The logician and the engineer : how George Boole and Claude Shannon created the information age ent://SD_ILS/0/SD_ILS:376778 2024-11-14T10:35:04Z 2024-11-14T10:35:04Z Author&#160;Nahin, Paul J.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://www.jstor.org/stable/10.2307/j.cttq957s">http://www.jstor.org/stable/10.2307/j.cttq957s</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> After evil : a politics of human rights ent://SD_ILS/0/SD_ILS:375140 2024-11-14T10:35:04Z 2024-11-14T10:35:04Z Author&#160;Meister, Robert, 1947-<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://www.jstor.org/stable/10.7312/meis15036">http://www.jstor.org/stable/10.7312/meis15036</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Hermeneutic communism : from Heidegger to Marx ent://SD_ILS/0/SD_ILS:376001 2024-11-14T10:35:04Z 2024-11-14T10:35:04Z Author&#160;Vattimo, Gianni, 1936-&#160;Zabala, Santiago, 1975-<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://www.jstor.org/stable/10.7312/vatt15802">http://www.jstor.org/stable/10.7312/vatt15802</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Propositions, functions, and analysis selected essays on Russell's philosophy ent://SD_ILS/0/SD_ILS:231578 2024-11-14T10:35:04Z 2024-11-14T10:35:04Z Author&#160;Hylton, Peter.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Studies in post-medieval semantics ent://SD_ILS/0/SD_ILS:97577 2024-11-14T10:35:04Z 2024-11-14T10:35:04Z Author&#160;Ashworth, E. J.<br/>Preferred Shelf Number&#160;P 106 A78 1985<br/>Format:&#160;Books<br/>Availability&#160;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 1983 ent://SD_ILS/0/SD_ILS:97652 2024-11-14T10:35:04Z 2024-11-14T10:35:04Z Author&#160;European Symposium on Medieval Logic and Semantics (6th : 1983 : Balliol College)&#160;Lewry, P. Osmund, ed.<br/>Preferred Shelf Number&#160;BC 39.5.G7 E97 1983<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/> Judgment and proposition : from Descartes to Kant ent://SD_ILS/0/SD_ILS:522622 2024-11-14T10:35:04Z 2024-11-14T10:35:04Z Author&#160;Nuchelmans, Gabriel.<br/>Preferred Shelf Number&#160;BC181 N78 1983<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/>