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$0026ps$003d300$0026isd$003dtrue?2025-03-16T10:48:04ZMethods of logicent://SD_ILS/0/SD_ILS:8012025-03-16T10:48:04Z2025-03-16T10:48:04ZAuthor 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-03-16T10:48:04Z2025-03-16T10:48:04ZAuthor 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-03-16T10:48:04Z2025-03-16T10:48:04ZAuthor 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-03-16T10:48:04Z2025-03-16T10:48:04ZAuthor 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:2572052025-03-16T10:48:04Z2025-03-16T10:48:04ZAuthor 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:2572822025-03-16T10:48:04Z2025-03-16T10:48:04ZAuthor 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:2573662025-03-16T10:48:04Z2025-03-16T10:48:04ZAuthor 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-03-16T10:48:04Z2025-03-16T10:48:04ZAuthor 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/>