Search Results for Logic -- History. - Narrowed by: Online LibrarySirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dLogic$002b--$002bHistory.$0026qf$003dLIBRARY$002509Library$0025091$00253AONLINE$002509Online$002bLibrary$0026ic$003dtrue$0026ps$003d300?dt=list2026-03-22T10:57:29ZGuide to Discrete Mathematics An Accessible Introduction to the History, Theory, Logic and Applicationsent://SD_ILS/0/SD_ILS:6175032026-03-22T10:57:29Z2026-03-22T10:57:29ZAuthor O'Regan, Gerard. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-44561-8">https://doi.org/10.1007/978-3-319-44561-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>The Cold War and After : History, Theory, and the Logic of International Politics.ent://SD_ILS/0/SD_ILS:3761682026-03-22T10:57:29Z2026-03-22T10:57:29ZAuthor 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-03-22T10:57:29Z2026-03-22T10:57:29ZAuthor 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/>The rise of modern logic from Leibniz to Fregeent://SD_ILS/0/SD_ILS:2566252026-03-22T10:57:29Z2026-03-22T10:57:29ZAuthor 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-03-22T10:57:29Z2026-03-22T10:57:29ZAuthor 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-03-22T10:57:29Z2026-03-22T10:57:29ZAuthor 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-03-22T10:57:29Z2026-03-22T10:57:29ZPreferred 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:1479812026-03-22T10:57:29Z2026-03-22T10:57:29ZAuthor 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:1479622026-03-22T10:57:29Z2026-03-22T10:57:29ZAuthor 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-03-22T10:57:29Z2026-03-22T10:57:29ZAuthor 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-03-22T10:57:29Z2026-03-22T10:57:29ZAuthor 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-03-22T10:57:29Z2026-03-22T10:57:29ZAuthor 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-03-22T10:57:29Z2026-03-22T10:57:29ZAuthor 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-03-22T10:57:29Z2026-03-22T10:57:29ZAuthor 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-03-22T10:57:29Z2026-03-22T10:57:29ZAuthor 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-03-22T10:57:29Z2026-03-22T10:57:29ZAuthor 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/>Crossroads of Computability and Logic: Insights, Inspirations, and Innovations 21st Conference on Computability in Europe, CiE 2025, Lisbon, Portugal, July 14-18, 2025, Proceedingsent://SD_ILS/0/SD_ILS:6089872026-03-22T10:57:29Z2026-03-22T10:57:29ZAuthor Beckmann, Arnold. editor. (orcid)0000-0001-7958-5790 Oitavem, Isabel. editor. (orcid)0000-0002-3573-9281 Manea, Florin. editor. (orcid)0000-0001-6094-3324 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-95908-0">https://doi.org/10.1007/978-3-031-95908-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Limits of AI - theoretical, practical, ethicalent://SD_ILS/0/SD_ILS:6031102026-03-22T10:57:29Z2026-03-22T10:57:29ZAuthor Mainzer, Klaus. author. Kahle, Reinhard. author. (orcid)0000-0002-9064-877X SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-68290-6">https://doi.org/10.1007/978-3-662-68290-6</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-03-22T10:57:29Z2026-03-22T10:57:29ZAuthor 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/>Mathematical Foundations of Software Engineering A Practical Guide to Essentialsent://SD_ILS/0/SD_ILS:5205742026-03-22T10:57:29Z2026-03-22T10:57:29ZAuthor 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/>Beyond-CMOS : state of the art and trendsent://SD_ILS/0/SD_ILS:5984802026-03-22T10:57:29Z2026-03-22T10:57:29ZAuthor Cresti, Alessandro, editor.<br/>Preferred Shelf Number TK7871.99 .M44 B49 2023<br/>Electronic Access <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781394228713">https://onlinelibrary.wiley.com/doi/book/10.1002/9781394228713</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Archaeology of logicent://SD_ILS/0/SD_ILS:5714342026-03-22T10:57:29Z2026-03-22T10:57:29ZAuthor 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/>Machine learning and the city : applications in architecture and urban designent://SD_ILS/0/SD_ILS:5972452026-03-22T10:57:29Z2026-03-22T10:57:29ZAuthor Carta, Silvio, editor.<br/>Preferred Shelf Number NA2543 .T43 C375 2022<br/>Electronic Access <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781119815075">https://onlinelibrary.wiley.com/doi/book/10.1002/9781119815075</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Introduction to fuzzy logicent://SD_ILS/0/SD_ILS:5966432026-03-22T10:57:29Z2026-03-22T10:57:29ZAuthor Peckol, James K., author. John Wiley & Sons, publisher.<br/>Preferred Shelf Number QA9.64 .P43 2021<br/>Electronic Access <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781119772644">https://onlinelibrary.wiley.com/doi/book/10.1002/9781119772644</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>A companion to atheism and philosophyent://SD_ILS/0/SD_ILS:5951872026-03-22T10:57:29Z2026-03-22T10:57:29ZAuthor Oppy, Graham, 1960- editor.<br/>Preferred Shelf Number BL2747.3 .C6175 2019 EB<br/>Electronic Access <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781119119302">https://onlinelibrary.wiley.com/doi/book/10.1002/9781119119302</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Society 5.0 : industry of the future, technologies, methods and toolsent://SD_ILS/0/SD_ILS:5947452026-03-22T10:57:29Z2026-03-22T10:57:29ZAuthor Salgues, Bruno, author.<br/>Preferred Shelf Number HD45<br/>Electronic Access <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781119507314">https://onlinelibrary.wiley.com/doi/book/10.1002/9781119507314</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Nanoelectronics : materials, devices, applicationsent://SD_ILS/0/SD_ILS:5936212026-03-22T10:57:29Z2026-03-22T10:57:29ZAuthor Puers, R., editor.<br/>Preferred Shelf Number TK7874.84<br/>Electronic Access <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9783527800728">https://onlinelibrary.wiley.com/doi/book/10.1002/9783527800728</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>MOS devices for low-voltage and low-energy applicationsent://SD_ILS/0/SD_ILS:5932002026-03-22T10:57:29Z2026-03-22T10:57:29ZAuthor Omura, Y. (Yasuhisa), author. Mallik, Abhijit, author. Matsuo, N. (Naoto), author.<br/>Preferred Shelf Number TK7871.99 .M44<br/>Electronic Access <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781119107361">https://onlinelibrary.wiley.com/doi/book/10.1002/9781119107361</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Concise Guide to Formal Methods Theory, Fundamentals and Industry Applicationsent://SD_ILS/0/SD_ILS:6175362026-03-22T10:57:29Z2026-03-22T10:57:29ZAuthor O'Regan, Gerard. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-64021-1">https://doi.org/10.1007/978-3-319-64021-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Applied univariate, bivariate, and multivariate statisticsent://SD_ILS/0/SD_ILS:5930762026-03-22T10:57:29Z2026-03-22T10:57:29ZAuthor Denis, Daniel J., 1974-<br/>Preferred Shelf Number QA279<br/>Electronic Access <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781119583004">https://onlinelibrary.wiley.com/doi/book/10.1002/9781119583004</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Turing Computability Theory and Applicationsent://SD_ILS/0/SD_ILS:6144772026-03-22T10:57:29Z2026-03-22T10:57:29ZAuthor Soare, Robert I. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-642-31933-4">https://doi.org/10.1007/978-3-642-31933-4</a><br/>Format: Electronic Resources<br/>Availability Online 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-03-22T10:57:29Z2026-03-22T10:57:29ZAuthor 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/>Paper money collapse : the folly of elastic moneyent://SD_ILS/0/SD_ILS:3419342026-03-22T10:57:29Z2026-03-22T10:57:29ZAuthor 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-03-22T10:57:29Z2026-03-22T10:57:29ZAuthor 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:3751402026-03-22T10:57:29Z2026-03-22T10:57:29ZAuthor 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:3760012026-03-22T10:57:29Z2026-03-22T10:57:29ZAuthor 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:2315782026-03-22T10:57:29Z2026-03-22T10:57:29ZAuthor 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-03-22T10:57:29Z2026-03-22T10:57:29ZAuthor 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-03-22T10:57:29Z2026-03-22T10:57:29ZAuthor 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-03-22T10:57:29Z2026-03-22T10:57:29ZAuthor 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-03-22T10:57:29Z2026-03-22T10:57:29ZAuthor 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/>