Search Results for Recursion theory. - Narrowed by: EnglishSirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dRecursion$002btheory.$0026qf$003dLANGUAGE$002509Language$002509ENG$002509English$0026ic$003dtrue$0026ps$003d300$0026isd$003dtrue?2024-11-12T21:54:06ZRecursion Theory and Computational Complexityent://SD_ILS/0/SD_ILS:1915682024-11-12T21:54:06Z2024-11-12T21:54:06ZAuthor Lolli, G. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-11072-6">http://dx.doi.org/10.1007/978-3-642-11072-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Fundamentals of generalized recursion theoryent://SD_ILS/0/SD_ILS:2570852024-11-12T21:54:06Z2024-11-12T21:54:06ZAuthor 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/>Computability theory an introduction to recursion theoryent://SD_ILS/0/SD_ILS:1488022024-11-12T21:54:06Z2024-11-12T21:54:06ZAuthor Enderton, Herbert B.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780123849588">http://www.sciencedirect.com/science/book/9780123849588</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Generalized recursion theory II proceedings of the 1977 Oslo Symposiument://SD_ILS/0/SD_ILS:2573632024-11-12T21:54:06Z2024-11-12T21:54:06ZAuthor Symposium on Generalized Recursion Theory (2nd : 1977 : University of Oslo) Fenstad, Jens Erik. Gandy, R. O. (Robin O.) Sacks, Gerald E.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444851635">http://www.sciencedirect.com/science/book/9780444851635</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Generalized recursion theory Proceedings of the 1972 Oslo symposiument://SD_ILS/0/SD_ILS:2572382024-11-12T21:54:06Z2024-11-12T21:54:06ZAuthor Symposium on Generalized Recursion Theory (1st : 1972 : University of Oslo) Fenstad, Jens Erik. Hinman, Peter G.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444105455">http://www.sciencedirect.com/science/book/9780444105455</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:2565972024-11-12T21:54:06Z2024-11-12T21:54:06ZAuthor 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/>Classical recursion theory the theory of functions and sets of natural numbersent://SD_ILS/0/SD_ILS:2571712024-11-12T21:54:06Z2024-11-12T21:54:06ZAuthor 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/>Sets, models and recursion theory Proceedings of the Summer School in Mathematical Logic and tenth Logic Colloquium, Leicester, August-September 1965ent://SD_ILS/0/SD_ILS:2572862024-11-12T21:54:06Z2024-11-12T21:54:06ZAuthor Logic Colloquium (10th : 1965 : University of Leicester) Crossley, John N.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444534101">http://www.sciencedirect.com/science/book/9780444534101</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Mathematical logic : A course with exercisesent://SD_ILS/0/SD_ILS:766782024-11-12T21:54:06Z2024-11-12T21:54:06ZAuthor Cori, Rene. Lascar, Daniel, 1942- ort. yaz.<br/>Preferred Shelf Number QA 9 C742513 2000 PT.1<br/>Format: Books<br/>Availability Beytepe Library~2<br/>Mathematics for Computer Scientists A Practice-Oriented Approachent://SD_ILS/0/SD_ILS:5203442024-11-12T21:54:06Z2024-11-12T21:54:06ZAuthor Hartmann, Peter. author. SpringerLink (Online service)<br/>Preferred Shelf Number XX(520344.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-658-40423-9">https://doi.org/10.1007/978-3-658-40423-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Mathematical Foundations of Software Engineering A Practical Guide to Essentialsent://SD_ILS/0/SD_ILS:5205742024-11-12T21:54:06Z2024-11-12T21:54:06ZAuthor 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 18th International Conference, FOSSACS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedingsent://SD_ILS/0/SD_ILS:5191612024-11-12T21:54:06Z2024-11-12T21:54:06ZAuthor Pitts, Andrew. editor. (orcid) SpringerLink (Online service)<br/>Preferred Shelf Number XX(519161.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-46678-0">https://doi.org/10.1007/978-3-662-46678-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Theory and Applications of Models of Computation 12th Annual Conference, TAMC 2015, Singapore, May 18-20, 2015, Proceedingsent://SD_ILS/0/SD_ILS:5191172024-11-12T21:54:06Z2024-11-12T21:54:06ZAuthor Jain, Rahul. editor. Jain, Sanjay. editor. Stephan, Frank. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(519117.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-17142-5">https://doi.org/10.1007/978-3-319-17142-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Programming Languages and Systems 24th European Symposium on Programming, ESOP 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedingsent://SD_ILS/0/SD_ILS:5192372024-11-12T21:54:06Z2024-11-12T21:54:06ZAuthor Vitek, Jan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(519237.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-46669-8">https://doi.org/10.1007/978-3-662-46669-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>The foundations of mathematicsent://SD_ILS/0/SD_ILS:2673212024-11-12T21:54:06Z2024-11-12T21:54:06ZAuthor Kunen, Kenneth.<br/>Preferred Shelf Number QA9 K796 2012<br/>Format: Books<br/>Availability Beytepe Library~1<br/>The primacy of grammarent://SD_ILS/0/SD_ILS:2395722024-11-12T21:54:06Z2024-11-12T21:54:06ZAuthor Mukherji, Nirmalangshu. Project Muse.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://muse.jhu.edu/books/9780262280310/">Full text available: </a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Handbook of recursive mathematicsent://SD_ILS/0/SD_ILS:2565912024-11-12T21:54:06Z2024-11-12T21:54:06ZAuthor 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:2565942024-11-12T21:54:06Z2024-11-12T21:54:06ZAuthor 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/>The Kleene Symposium proceedings of the symposium held June 18-24, 1978 at Madison, Wisconsin, U.S.A.ent://SD_ILS/0/SD_ILS:2569512024-11-12T21:54:06Z2024-11-12T21:54:06ZAuthor Kleene Symposium (1978 : Madison, Wis.) Kleene, Stephen Cole, 1909-1994. Barwise, Jon. Keisler, H. Jerome. Kunen, Kenneth.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444853455">http://www.sciencedirect.com/science/book/9780444853455</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Recursive analysisent://SD_ILS/0/SD_ILS:2573522024-11-12T21:54:06Z2024-11-12T21:54:06ZAuthor 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/>Recursive number theory a development of recursive arithmetic in a logic-free equation calculus.ent://SD_ILS/0/SD_ILS:2572042024-11-12T21:54:06Z2024-11-12T21:54:06ZAuthor 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/>