Search Results for Logic. - Narrowed by: E-Book - 1965SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dLogic.$0026qf$003dITYPE$002509Material$002bType$0025091$00253AE-KITAP$002509E-Book$0026qf$003dPUBDATE$002509Publication$002bDate$0025091965$0025091965$0026ic$003dtrue$0026te$003dILS$0026ps$003d300$0026isd$003dtrue?2024-09-03T06:56:05ZFormal systems and recursive functionsent://SD_ILS/0/SD_ILS:2572832024-09-03T06:56:05Z2024-09-03T06:56:05ZAuthor Crossley, John N. Dummett, Michael, 1925-2011.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444534057">http://www.sciencedirect.com/science/book/9780444534057</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Introduction to the theory of finite automataent://SD_ILS/0/SD_ILS:2572052024-09-03T06:56:05Z2024-09-03T06:56:05ZAuthor Kobrinskiĭ, Natan Efimovich. Trakhtenbrot, B. A. (Boris Avraamovich), author.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444534033">http://www.sciencedirect.com/science/book/9780444534033</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>The foundations of intuitionistic mathematicsent://SD_ILS/0/SD_ILS:2572822024-09-03T06:56:05Z2024-09-03T06:56:05ZAuthor Kleene, Stephen Cole, 1909-1994. Vesley, Richard Eugene, 1932-<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444534040">http://www.sciencedirect.com/science/book/9780444534040</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>A transfinite type theory with type variablesent://SD_ILS/0/SD_ILS:2573662024-09-03T06:56:05Z2024-09-03T06:56:05ZAuthor Andrews, P. B. (Peter Bruce), 1937-<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444534026">http://www.sciencedirect.com/science/book/9780444534026</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>A theory of setsent://SD_ILS/0/SD_ILS:2569812024-09-03T06:56:05Z2024-09-03T06:56:05ZAuthor Morse, Anthony P. (Anthony Perry)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780123745675">http://www.sciencedirect.com/science/book/9780123745675</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>