Search Results for Logic, Modern. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dLogic$00252C$002bModern.$0026ps$003d300$0026isd$003dtrue?dt=list 2024-11-20T04:37:25Z Logic and philosophy : a modern introduction ent://SD_ILS/0/SD_ILS:745 2024-11-20T04:37:25Z 2024-11-20T04:37:25Z Author&#160;Kahane, Howard, 1928-<br/>Preferred Shelf Number&#160;BC 108 K3 1969<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/> The logic of modern physics ent://SD_ILS/0/SD_ILS:45058 2024-11-20T04:37:25Z 2024-11-20T04:37:25Z Author&#160;Brigman, Percy Williams, 1882-<br/>Preferred Shelf Number&#160;QC 6 B68 1960<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-20T04:37:25Z 2024-11-20T04:37:25Z 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/> Kantian reason and Hegelian spirit the idealistic logic of modern theology ent://SD_ILS/0/SD_ILS:305880 2024-11-20T04:37:25Z 2024-11-20T04:37:25Z Author&#160;Dorrien, Gary J.&#160;Wiley InterScience (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;Wiley InterScience <a href="http://dx.doi.org/10.1002/9781444355918">An electronic book accessible through the World Wide Web; click for information</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> From Boolean Logic to Switching Circuits and Automata Towards Modern Information Technology ent://SD_ILS/0/SD_ILS:191764 2024-11-20T04:37:25Z 2024-11-20T04:37:25Z Author&#160;Stankovi&#263;, Radomir S. author.&#160;Astola, Jaakko. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-11682-7">http://dx.doi.org/10.1007/978-3-642-11682-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logic of mathematics a modern course of classical logic ent://SD_ILS/0/SD_ILS:300260 2024-11-20T04:37:25Z 2024-11-20T04:37:25Z Author&#160;Adamowicz, Zofia.&#160;Zbierski, Pawe&#322;.&#160;Wiley InterScience (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;Wiley InterScience <a href="http://dx.doi.org/10.1002/9781118032541">An electronic book accessible through the World Wide Web; click for information</a> Ebook Library <a href="http://public.eblib.com/EBLPublic/PublicView.do?ptiID=694510">Click here to view book</a> Contributor biographical information <a href="http://catdir.loc.gov/catdir/bios/wiley042/95020818.html">http://catdir.loc.gov/catdir/bios/wiley042/95020818.html</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Language, logic and genre : papes from the poetics and literary theory section, modern language association ;ed. by Wallace Martin. ent://SD_ILS/0/SD_ILS:41533 2024-11-20T04:37:25Z 2024-11-20T04:37:25Z Author&#160;Martin, Wallace., ed.<br/>Preferred Shelf Number&#160;PN 45 L317 1974<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/> Machine Intelligence and Emerging Technologies First International Conference, MIET 2022, Noakhali, Bangladesh, September 23-25, 2022, Proceedings, Part II ent://SD_ILS/0/SD_ILS:520459 2024-11-20T04:37:25Z 2024-11-20T04:37:25Z Author&#160;Satu, Md. Shahriare. editor. (orcid)&#160;Moni, Mohammad Ali. editor.&#160;Kaiser, M. Shamim. editor.&#160;Arefin, Mohammad Shamsul. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(520459.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-34622-4">https://doi.org/10.1007/978-3-031-34622-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Tools and Algorithms for the Construction and Analysis of Systems 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings, Part II ent://SD_ILS/0/SD_ILS:520840 2024-11-20T04:37:25Z 2024-11-20T04:37:25Z Author&#160;Sankaranarayanan, Sriram. editor.&#160;Sharygina, Natasha. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(520840.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-30820-8">https://doi.org/10.1007/978-3-031-30820-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Mant&#305;k ent://SD_ILS/0/SD_ILS:479420 2024-11-20T04:37:25Z 2024-11-20T04:37:25Z Author&#160;Priest, Graham.&#160;Yolsal, &Uuml;mit H&uuml;srev, translator.&#160;Y&#305;ld&#305;r&#305;m, Rojda, preparer.<br/>Preferred Shelf Number&#160;BC71 P7519 2017<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/> Designs on the contemporary anthropological tests ent://SD_ILS/0/SD_ILS:365066 2024-11-20T04:37:25Z 2024-11-20T04:37:25Z Author&#160;Rabinow, Paul, author.&#160;Stavrianakis, Anthony, author.<br/>Preferred Shelf Number&#160;GN33 R33 2014<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/> Hybrid Dynamical Systems : Modeling, Stability, and Robustness. ent://SD_ILS/0/SD_ILS:376106 2024-11-20T04:37:25Z 2024-11-20T04:37:25Z Author&#160;Goebel, Rafal.&#160;Sanfelice, Ricardo G.&#160;Teel, Andrew R.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://www.jstor.org/stable/10.2307/j.ctt7s02z">http://www.jstor.org/stable/10.2307/j.ctt7s02z</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online 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-20T04:37:25Z 2024-11-20T04:37:25Z 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/> Mathematical aspects of logic programming semantics ent://SD_ILS/0/SD_ILS:285188 2024-11-20T04:37:25Z 2024-11-20T04:37:25Z Author&#160;Hitzler, Pascal.&#160;Seda, Anthony.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://marc.crcnetbase.com/isbn/9781439829622">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> The proceedings of the twenty-first World Congress of Philosophy ent://SD_ILS/0/SD_ILS:119401 2024-11-20T04:37:25Z 2024-11-20T04:37:25Z Author&#160;World Congress of Philosophy (21st : 2003 : Istanbul, Turkey)&#160;Ku&ccedil;uradi, Ioanna.&#160;T&uuml;rkiye Felsefe Kurumu.<br/>Preferred Shelf Number&#160;B20 .W68 2006-07 V.1<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~13<br/> Judgment and proposition : from Descartes to Kant ent://SD_ILS/0/SD_ILS:522622 2024-11-20T04:37:25Z 2024-11-20T04:37:25Z Author&#160;Nuchelmans, Gabriel.<br/>Preferred Shelf Number&#160;BC181 N78 1983<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/>