Search Results for Recursion theory. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dRecursion$002btheory.$0026ic$003dtrue$0026ps$003d300?dt=list 2024-11-24T01:32:15Z Recursion Theory and Computational Complexity ent://SD_ILS/0/SD_ILS:191568 2024-11-24T01:32:15Z 2024-11-24T01:32:15Z Author&#160;Lolli, G. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Fundamentals of generalized recursion theory ent://SD_ILS/0/SD_ILS:257085 2024-11-24T01:32:15Z 2024-11-24T01:32:15Z Author&#160;Fitting, Melvin, 1942-<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444861719">http://www.sciencedirect.com/science/book/9780444861719</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computability theory an introduction to recursion theory ent://SD_ILS/0/SD_ILS:148802 2024-11-24T01:32:15Z 2024-11-24T01:32:15Z Author&#160;Enderton, Herbert B.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780123849588">http://www.sciencedirect.com/science/book/9780123849588</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Generalized recursion theory II proceedings of the 1977 Oslo Symposium ent://SD_ILS/0/SD_ILS:257363 2024-11-24T01:32:15Z 2024-11-24T01:32:15Z Author&#160;Symposium on Generalized Recursion Theory (2nd : 1977 : University of Oslo)&#160;Fenstad, Jens Erik.&#160;Gandy, R. O. (Robin O.)&#160;Sacks, Gerald E.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444851635">http://www.sciencedirect.com/science/book/9780444851635</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Generalized recursion theory Proceedings of the 1972 Oslo symposium ent://SD_ILS/0/SD_ILS:257238 2024-11-24T01:32:15Z 2024-11-24T01:32:15Z Author&#160;Symposium on Generalized Recursion Theory (1st : 1972 : University of Oslo)&#160;Fenstad, Jens Erik.&#160;Hinman, Peter G.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444105455">http://www.sciencedirect.com/science/book/9780444105455</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Classical recursion theory the theory of functions and sets of natural numbers ent://SD_ILS/0/SD_ILS:256597 2024-11-24T01:32:15Z 2024-11-24T01:32:15Z Author&#160;Odifreddi, Piergiorgio, 1950-<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444502056">http://www.sciencedirect.com/science/book/9780444502056</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Classical recursion theory the theory of functions and sets of natural numbers ent://SD_ILS/0/SD_ILS:257171 2024-11-24T01:32:15Z 2024-11-24T01:32:15Z Author&#160;Odifreddi, Piergiorgio, 1950-<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444894830">http://www.sciencedirect.com/science/book/9780444894830</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Sets, models and recursion theory Proceedings of the Summer School in Mathematical Logic and tenth Logic Colloquium, Leicester, August-September 1965 ent://SD_ILS/0/SD_ILS:257286 2024-11-24T01:32:15Z 2024-11-24T01:32:15Z Author&#160;Logic Colloquium (10th : 1965 : University of Leicester)&#160;Crossley, John N.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444534101">http://www.sciencedirect.com/science/book/9780444534101</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Mathematical logic : A course with exercises ent://SD_ILS/0/SD_ILS:76678 2024-11-24T01:32:15Z 2024-11-24T01:32:15Z Author&#160;Cori, Rene.&#160;Lascar, Daniel, 1942- ort. yaz.<br/>Preferred Shelf Number&#160;QA 9 C742513 2000 PT.1<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~2<br/> Mathematical Foundations of Software Engineering A Practical Guide to Essentials ent://SD_ILS/0/SD_ILS:520574 2024-11-24T01:32:15Z 2024-11-24T01:32:15Z Author&#160;O'Regan, Gerard. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(520574.1)<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Mathematics for Computer Scientists A Practice-Oriented Approach ent://SD_ILS/0/SD_ILS:520344 2024-11-24T01:32:15Z 2024-11-24T01:32:15Z Author&#160;Hartmann, Peter. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(520344.1)<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;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, Proceedings ent://SD_ILS/0/SD_ILS:519161 2024-11-24T01:32:15Z 2024-11-24T01:32:15Z Author&#160;Pitts, Andrew. editor. (orcid)&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(519161.1)<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Theory and Applications of Models of Computation 12th Annual Conference, TAMC 2015, Singapore, May 18-20, 2015, Proceedings ent://SD_ILS/0/SD_ILS:519117 2024-11-24T01:32:15Z 2024-11-24T01:32:15Z Author&#160;Jain, Rahul. editor.&#160;Jain, Sanjay. editor.&#160;Stephan, Frank. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(519117.1)<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;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, Proceedings ent://SD_ILS/0/SD_ILS:519237 2024-11-24T01:32:15Z 2024-11-24T01:32:15Z Author&#160;Vitek, Jan. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(519237.1)<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> The foundations of mathematics ent://SD_ILS/0/SD_ILS:267321 2024-11-24T01:32:15Z 2024-11-24T01:32:15Z Author&#160;Kunen, Kenneth.<br/>Preferred Shelf Number&#160;QA9 K796 2012<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/> The primacy of grammar ent://SD_ILS/0/SD_ILS:239572 2024-11-24T01:32:15Z 2024-11-24T01:32:15Z Author&#160;Mukherji, Nirmalangshu.&#160;Project Muse.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://muse.jhu.edu/books/9780262280310/">Full text available: </a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Handbook of recursive mathematics ent://SD_ILS/0/SD_ILS:256594 2024-11-24T01:32:15Z 2024-11-24T01:32:15Z Author&#160;Ershov, I&#865;Uri&#301; Leonidovich.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444501066">http://www.sciencedirect.com/science/book/9780444501066</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Handbook of recursive mathematics ent://SD_ILS/0/SD_ILS:256591 2024-11-24T01:32:15Z 2024-11-24T01:32:15Z Author&#160;Ershov, I&#865;Uri&#301; Leonidovich.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444500038">http://www.sciencedirect.com/science/book/9780444500038</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;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:256951 2024-11-24T01:32:15Z 2024-11-24T01:32:15Z Author&#160;Kleene Symposium (1978 : Madison, Wis.)&#160;Kleene, Stephen Cole, 1909-1994.&#160;Barwise, Jon.&#160;Keisler, H. Jerome.&#160;Kunen, Kenneth.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444853455">http://www.sciencedirect.com/science/book/9780444853455</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Recursive analysis ent://SD_ILS/0/SD_ILS:257352 2024-11-24T01:32:15Z 2024-11-24T01:32:15Z Author&#160;Goodstein, R. L. (Reuben Louis)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444533944">http://www.sciencedirect.com/science/book/9780444533944</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Recursive number theory a development of recursive arithmetic in a logic-free equation calculus. ent://SD_ILS/0/SD_ILS:257204 2024-11-24T01:32:15Z 2024-11-24T01:32:15Z Author&#160;Goodstein, R. L. (Reuben Louis)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444533852">http://www.sciencedirect.com/science/book/9780444533852</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/>