Search Results for Logic, history. - Narrowed by: 2023SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dLogic$00252C$002bhistory.$0026qf$003dPUBDATE$002509Publication$002bDate$0025092023$0025092023$0026ic$003dtrue$0026ps$003d300$0026isd$003dtrue?2024-11-14T21:38:56ZThe rise of modern logic from Leibniz to Fregeent://SD_ILS/0/SD_ILS:2566252024-11-14T21:38:56Z2024-11-14T21:38:56ZAuthor 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/>İslam mantık tarihi ve Farabi mantığıent://SD_ILS/0/SD_ILS:851592024-11-14T21:38:56Z2024-11-14T21:38:56ZAuthor 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-14T21:38:56Z2024-11-14T21:38:56ZAuthor 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-14T21:38:56Z2024-11-14T21:38:56ZAuthor 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/>