Search Results for Logic, history. - Narrowed by: Online LibrarySirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dLogic$00252C$002bhistory.$0026qf$003dLIBRARY$002509Library$0025091$00253AONLINE$002509Online$002bLibrary$0026ps$003d300?dt=list2026-03-27T01:23:44ZGuide to Discrete Mathematics An Accessible Introduction to the History, Theory, Logic and Applicationsent://SD_ILS/0/SD_ILS:6175032026-03-27T01:23:44Z2026-03-27T01:23:44ZAuthor 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-27T01:23:44Z2026-03-27T01:23:44ZAuthor 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-27T01:23:44Z2026-03-27T01:23:44ZAuthor 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-27T01:23:44Z2026-03-27T01:23:44ZAuthor 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-27T01:23:44Z2026-03-27T01:23:44ZAuthor 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-27T01:23:44Z2026-03-27T01:23:44ZAuthor 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-27T01:23:44Z2026-03-27T01:23:44ZPreferred 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-03-27T01:23:44Z2026-03-27T01:23:44ZAuthor 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-03-27T01:23:44Z2026-03-27T01:23:44ZAuthor 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-27T01:23:44Z2026-03-27T01:23:44ZAuthor 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-27T01:23:44Z2026-03-27T01:23:44ZAuthor 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-27T01:23:44Z2026-03-27T01:23:44ZAuthor 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-27T01:23:44Z2026-03-27T01:23:44ZAuthor 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-27T01:23:44Z2026-03-27T01:23:44ZAuthor 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-27T01:23:44Z2026-03-27T01:23:44ZAuthor 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-27T01:23:44Z2026-03-27T01:23:44ZAuthor 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-27T01:23:44Z2026-03-27T01:23:44ZAuthor 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-27T01:23:44Z2026-03-27T01:23:44ZAuthor 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/>Mathematical Foundations of Software Engineering A Practical Guide to Essentialsent://SD_ILS/0/SD_ILS:5205742026-03-27T01:23:44Z2026-03-27T01:23:44ZAuthor 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-03-27T01:23:44Z2026-03-27T01:23:44ZAuthor 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-03-27T01:23:44Z2026-03-27T01:23:44ZAuthor 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/>Beyond-CMOS : state of the art and trendsent://SD_ILS/0/SD_ILS:5984802026-03-27T01:23:44Z2026-03-27T01:23:44ZAuthor 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/>Machine learning and the city : applications in architecture and urban designent://SD_ILS/0/SD_ILS:5972452026-03-27T01:23:44Z2026-03-27T01:23:44ZAuthor 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-27T01:23:44Z2026-03-27T01:23:44ZAuthor 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-27T01:23:44Z2026-03-27T01:23:44ZAuthor 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-27T01:23:44Z2026-03-27T01:23:44ZAuthor 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/>MOS devices for low-voltage and low-energy applicationsent://SD_ILS/0/SD_ILS:5932002026-03-27T01:23:44Z2026-03-27T01:23:44ZAuthor 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/>Nanoelectronics : materials, devices, applicationsent://SD_ILS/0/SD_ILS:5936212026-03-27T01:23:44Z2026-03-27T01:23:44ZAuthor 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/>Concise Guide to Formal Methods Theory, Fundamentals and Industry Applicationsent://SD_ILS/0/SD_ILS:6175362026-03-27T01:23:44Z2026-03-27T01:23:44ZAuthor 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-27T01:23:44Z2026-03-27T01:23:44ZAuthor 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-27T01:23:44Z2026-03-27T01:23:44ZAuthor 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-27T01:23:44Z2026-03-27T01:23:44ZAuthor 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-27T01:23:44Z2026-03-27T01:23:44ZAuthor 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-27T01:23:44Z2026-03-27T01:23:44ZAuthor 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-27T01:23:44Z2026-03-27T01:23:44ZAuthor 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-27T01:23:44Z2026-03-27T01:23:44ZAuthor 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-27T01:23:44Z2026-03-27T01:23:44ZAuthor 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-27T01:23:44Z2026-03-27T01:23:44ZAuthor 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-27T01:23:44Z2026-03-27T01:23:44ZAuthor 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-27T01:23:44Z2026-03-27T01:23:44ZAuthor 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-27T01:23:44Z2026-03-27T01:23:44ZAuthor 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/>