Search Results for Logic. - Narrowed by: 1965SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dLogic.$0026qf$003dPUBDATE$002509Publication$002bDate$0025091965$0025091965$0026te$003dILS$0026ps$003d300?2025-12-16T06:51:05ZMethods of logicent://SD_ILS/0/SD_ILS:8012025-12-16T06:51:05Z2025-12-16T06:51:05ZAuthor Quine, Willard Van Orman.<br/>Preferred Shelf Number BC 50 Q8 1966<br/>Format: Books<br/>Availability Beytepe Library~1<br/>The Logic and rhetoric of expositionent://SD_ILS/0/SD_ILS:209142025-12-16T06:51:05Z2025-12-16T06:51:05ZAuthor Martin, Harold Clark. Ohmann, Richard M., ort. yaz.<br/>Preferred Shelf Number PE 1429 M3<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Formal systems and recursive functions : proceedingent://SD_ILS/0/SD_ILS:7682025-12-16T06:51:05Z2025-12-16T06:51:05ZAuthor Logic Colloquium (8th : 1963 : Oxford).<br/>Preferred Shelf Number BC 135 L8292 1965<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Formal systems and recursive functionsent://SD_ILS/0/SD_ILS:2572832025-12-16T06:51:05Z2025-12-16T06:51: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/>The foundations of intuitionistic mathematicsent://SD_ILS/0/SD_ILS:2572822025-12-16T06:51:05Z2025-12-16T06:51: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/>Introduction to the theory of finite automataent://SD_ILS/0/SD_ILS:2572052025-12-16T06:51:05Z2025-12-16T06:51: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/>A transfinite type theory with type variablesent://SD_ILS/0/SD_ILS:2573662025-12-16T06:51:05Z2025-12-16T06:51: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:2569812025-12-16T06:51:05Z2025-12-16T06:51: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/>