Search Results for Logic. - Narrowed by: Recursion theory.SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dLogic.$0026qf$003dSUBJECT$002509Subject$002509Recursion$002btheory.$002509Recursion$002btheory.$0026te$003dILS$0026ps$003d300?2025-12-12T23:32:08ZRecursive number theory a development of recursive arithmetic in a logic-free equation calculus.ent://SD_ILS/0/SD_ILS:2572042025-12-12T23:32:08Z2025-12-12T23:32:08ZAuthor Goodstein, R. L. (Reuben Louis)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444533852">http://www.sciencedirect.com/science/book/9780444533852</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>The foundations of mathematicsent://SD_ILS/0/SD_ILS:2673212025-12-12T23:32:08Z2025-12-12T23:32:08ZAuthor Kunen, Kenneth.<br/>Preferred Shelf Number QA9 K796 2012<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Classical recursion theory the theory of functions and sets of natural numbersent://SD_ILS/0/SD_ILS:2565972025-12-12T23:32:08Z2025-12-12T23:32:08ZAuthor Odifreddi, Piergiorgio, 1950-<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444502056">http://www.sciencedirect.com/science/book/9780444502056</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Handbook of recursive mathematicsent://SD_ILS/0/SD_ILS:2565912025-12-12T23:32:08Z2025-12-12T23:32:08ZAuthor Ershov, I͡Uriĭ Leonidovich.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444500038">http://www.sciencedirect.com/science/book/9780444500038</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Handbook of recursive mathematicsent://SD_ILS/0/SD_ILS:2565942025-12-12T23:32:08Z2025-12-12T23:32:08ZAuthor Ershov, I͡Uriĭ Leonidovich.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444501066">http://www.sciencedirect.com/science/book/9780444501066</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Classical recursion theory the theory of functions and sets of natural numbersent://SD_ILS/0/SD_ILS:2571712025-12-12T23:32:08Z2025-12-12T23:32:08ZAuthor Odifreddi, Piergiorgio, 1950-<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444894830">http://www.sciencedirect.com/science/book/9780444894830</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Fundamentals of generalized recursion theoryent://SD_ILS/0/SD_ILS:2570852025-12-12T23:32:08Z2025-12-12T23:32:08ZAuthor Fitting, Melvin, 1942-<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444861719">http://www.sciencedirect.com/science/book/9780444861719</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Recursive analysisent://SD_ILS/0/SD_ILS:2573522025-12-12T23:32:08Z2025-12-12T23:32:08ZAuthor Goodstein, R. L. (Reuben Louis)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444533944">http://www.sciencedirect.com/science/book/9780444533944</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>