Search Results for récursion. - Narrowed by: Online LibrarySirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dr$0025C3$0025A9cursion.$0026qf$003dLIBRARY$002509Library$0025091$00253AONLINE$002509Online$002bLibrary$0026ps$003d300?2025-12-31T11:44:24ZRecursion and Human Languageent://SD_ILS/0/SD_ILS:5326682025-12-31T11:44:24Z2025-12-31T11:44:24ZAuthor Gibson, Edward, contributor. Harder, Peter, contributor. Hauser, Marc D., contributor. Hulst, Harry van der, contributor. Hulst, Harry van der, editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1515/9783110219258">https://doi.org/10.1515/9783110219258</a>
<a href="https://www.degruyter.com/isbn/9783110219258">https://www.degruyter.com/isbn/9783110219258</a>
Cover <a href="https://www.degruyter.com/document/cover/isbn/9783110219258/original">https://www.degruyter.com/document/cover/isbn/9783110219258/original</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Morpheme-internal Recursion in Phonologyent://SD_ILS/0/SD_ILS:5343532025-12-31T11:44:24Z2025-12-31T11:44:24ZAuthor Backley, Phillip, contributor. Cavirani, Edoardo, contributor. Dikken, Marcel den, contributor. Hulst, Harry van der, contributor. Kula, Nancy C., contributor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1515/9781501512582">https://doi.org/10.1515/9781501512582</a>
<a href="https://www.degruyter.com/isbn/9781501512582">https://www.degruyter.com/isbn/9781501512582</a>
Cover <a href="https://www.degruyter.com/document/cover/isbn/9781501512582/original">https://www.degruyter.com/document/cover/isbn/9781501512582/original</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Recursion Theory and Computational Complexityent://SD_ILS/0/SD_ILS:1915682025-12-31T11:44:24Z2025-12-31T11:44:24ZAuthor 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:2570852025-12-31T11:44:24Z2025-12-31T11:44:24ZAuthor 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:1488022025-12-31T11:44:24Z2025-12-31T11:44:24ZAuthor 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:2573632025-12-31T11:44:24Z2025-12-31T11:44:24ZAuthor 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:2572382025-12-31T11:44:24Z2025-12-31T11:44:24ZAuthor 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/>Interfaces + Recursion = Language? : Chomsky's Minimalism and the View from Syntax-Semanticsent://SD_ILS/0/SD_ILS:5328232025-12-31T11:44:24Z2025-12-31T11:44:24ZAuthor Alexiadou, Artemis, contributor. Anagnostopoulou, Elena, contributor. Beck, Sigrid, contributor. Chomsky, Noam, contributor. Giirtner, Bans-Martin, contributor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1515/9783110207552">https://doi.org/10.1515/9783110207552</a>
<a href="https://www.degruyter.com/isbn/9783110207552">https://www.degruyter.com/isbn/9783110207552</a>
Cover <a href="https://www.degruyter.com/document/cover/isbn/9783110207552/original">https://www.degruyter.com/document/cover/isbn/9783110207552/original</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:2565972025-12-31T11:44:24Z2025-12-31T11:44:24ZAuthor 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:2571712025-12-31T11:44:24Z2025-12-31T11:44:24ZAuthor 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:2572862025-12-31T11:44:24Z2025-12-31T11:44:24ZAuthor 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/>Reversible Computation 15th International Conference, RC 2023, Giessen, Germany, July 18-19, 2023, Proceedingsent://SD_ILS/0/SD_ILS:5210902025-12-31T11:44:24Z2025-12-31T11:44:24ZAuthor Kutrib, Martin. editor. (orcid) Meyer, Uwe. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-38100-3">https://doi.org/10.1007/978-3-031-38100-3</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:5205742025-12-31T11:44:24Z2025-12-31T11:44:24ZAuthor O'Regan, Gerard. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<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/>A Beginners Guide to Python 3 Programmingent://SD_ILS/0/SD_ILS:5206022025-12-31T11:44:24Z2025-12-31T11:44:24ZAuthor Hunt, John. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-35122-8">https://doi.org/10.1007/978-3-031-35122-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Data Analytics and Computational Intelligence: Novel Models, Algorithms and Applicationsent://SD_ILS/0/SD_ILS:5282592025-12-31T11:44:24Z2025-12-31T11:44:24ZAuthor Rivera, Gilberto. editor. (orcid)0000-0002-2365-4651 Cruz-Reyes, Laura. editor. Dorronsoro, Bernabé. editor. Rosete, Alejandro. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-38325-0">https://doi.org/10.1007/978-3-031-38325-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Representing Phonological Detail. Part I, Segmental Structure and Representationsent://SD_ILS/0/SD_ILS:5343702025-12-31T11:44:24Z2025-12-31T11:44:24ZAuthor Audring, Jenny, contributor. Benkő, Agnes, contributor. Botma, Bert, contributor. Bree, Cor van, contributor. Brink, Eline van den, contributor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1515/9783110730098">https://doi.org/10.1515/9783110730098</a>
<a href="https://www.degruyter.com/isbn/9783110730098">https://www.degruyter.com/isbn/9783110730098</a>
Cover <a href="https://www.degruyter.com/document/cover/isbn/9783110730098/original">https://www.degruyter.com/document/cover/isbn/9783110730098/original</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Concurrency, Specification and Programming Revised Selected Papers from the 29th International Workshop on Concurrency, Specification and Programming (CS&P'21), Berlin, Germanyent://SD_ILS/0/SD_ILS:5290122025-12-31T11:44:24Z2025-12-31T11:44:24ZAuthor Schlingloff, Bernd-Holger. editor. Vogel, Thomas. editor. Skowron, Andrzej. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-26651-5">https://doi.org/10.1007/978-3-031-26651-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Ontology of Communication Agent-Based Data-Driven or Sign-Based Substitution-Driven?ent://SD_ILS/0/SD_ILS:5202612025-12-31T11:44:24Z2025-12-31T11:44:24ZAuthor Hausser, Roland. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-22739-4">https://doi.org/10.1007/978-3-031-22739-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Mathematics for Computer Scientists A Practice-Oriented Approachent://SD_ILS/0/SD_ILS:5203442025-12-31T11:44:24Z2025-12-31T11:44:24ZAuthor Hartmann, Peter. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<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/>Guide to Java A Concise Introduction to Programmingent://SD_ILS/0/SD_ILS:5205602025-12-31T11:44:24Z2025-12-31T11:44:24ZAuthor Streib, James T. author. Soma, Takako. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-22842-1">https://doi.org/10.1007/978-3-031-22842-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Statistically Speaking : A Dictionary of Quotations.ent://SD_ILS/0/SD_ILS:5451722025-12-31T11:44:24Z2025-12-31T11:44:24ZAuthor Gaither, C. C. Cavazos-Gaither, Alma E.<br/>Preferred Shelf Number QA273<br/>Electronic Access Taylor & Francis <a href="https://www.taylorfrancis.com/books/9780429187124">https://www.taylorfrancis.com/books/9780429187124</a>
OCLC metadata license agreement <a href="http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf">http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Tools and Algorithms for the Construction and Analysis of Systems 21st International Conference, TACAS 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:5190902025-12-31T11:44:24Z2025-12-31T11:44:24ZAuthor Baier, Christel. editor. Tinelli, Cesare. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-46681-0">https://doi.org/10.1007/978-3-662-46681-0</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:5192372025-12-31T11:44:24Z2025-12-31T11:44:24ZAuthor Vitek, Jan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<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/>Data Structures and Algorithms with Pythonent://SD_ILS/0/SD_ILS:5185372025-12-31T11:44:24Z2025-12-31T11:44:24ZAuthor Lee, Kent D. author. Hubbard, Steve. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-13072-9">https://doi.org/10.1007/978-3-319-13072-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Representing Structure in Phonology and Syntaxent://SD_ILS/0/SD_ILS:5319652025-12-31T11:44:24Z2025-12-31T11:44:24ZAuthor Bayer, Josef, contributor. Corver, Norbert, contributor. Emonds, Joseph, contributor. Grewendorf, Günther, contributor. Koster, Jan, contributor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1515/9781501502224">https://doi.org/10.1515/9781501502224</a>
<a href="https://www.degruyter.com/isbn/9781501502224">https://www.degruyter.com/isbn/9781501502224</a>
Cover <a href="https://www.degruyter.com/document/cover/isbn/9781501502224/original">https://www.degruyter.com/document/cover/isbn/9781501502224/original</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Syntactic Complexity across Interfacesent://SD_ILS/0/SD_ILS:5322282025-12-31T11:44:24Z2025-12-31T11:44:24ZAuthor Bauke, Leah S., contributor. Bayer, Josef, contributor. Bayer, Josef, editor. Becker, Misha, contributor. Frey, Werner, contributor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1515/9781614517900">https://doi.org/10.1515/9781614517900</a>
<a href="https://www.degruyter.com/isbn/9781614517900">https://www.degruyter.com/isbn/9781614517900</a>
Cover <a href="https://www.degruyter.com/document/cover/isbn/9781614517900/original">https://www.degruyter.com/document/cover/isbn/9781614517900/original</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Language Production, Cognition, and the Lexiconent://SD_ILS/0/SD_ILS:5185302025-12-31T11:44:24Z2025-12-31T11:44:24ZAuthor Gala, Núria. editor. Rapp, Reinhard. editor. Bel-Enguix, Gemma. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-08043-7">https://doi.org/10.1007/978-3-319-08043-7</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:5191172025-12-31T11:44:24Z2025-12-31T11:44:24ZAuthor Jain, Rahul. editor. Jain, Sanjay. editor. Stephan, Frank. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<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/>Runtime Verification 6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015. Proceedingsent://SD_ILS/0/SD_ILS:5191352025-12-31T11:44:24Z2025-12-31T11:44:24ZAuthor Bartocci, Ezio. editor. Majumdar, Rupak. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-23820-3">https://doi.org/10.1007/978-3-319-23820-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Formal Methods: Foundations and Applications 17th Brazilian Symposium, SBMF 2014, Maceió, AL, Brazil, September 29--October 1, 2014. Proceedingsent://SD_ILS/0/SD_ILS:5191542025-12-31T11:44:24Z2025-12-31T11:44:24ZAuthor Braga, Christiano. editor. Martí-Oliet, Narciso. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-15075-8">https://doi.org/10.1007/978-3-319-15075-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:5191612025-12-31T11:44:24Z2025-12-31T11:44:24ZAuthor Pitts, Andrew. editor. (orcid) SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<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/>Body - Language - Communication : An International Handbook on Multimodality in Human Interaction. Volume 2ent://SD_ILS/0/SD_ILS:5331672025-12-31T11:44:24Z2025-12-31T11:44:24ZAuthor Alibali, Martha W., contributor. Andrén, Mats, contributor. Ashley, Richard, contributor. Bakels, Jan-Hendrik, contributor. Bergen, Benjamin K., contributor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1515/9783110302028">https://doi.org/10.1515/9783110302028</a>
<a href="https://www.degruyter.com/isbn/9783110302028">https://www.degruyter.com/isbn/9783110302028</a>
Cover <a href="https://www.degruyter.com/document/cover/isbn/9783110302028/original">https://www.degruyter.com/document/cover/isbn/9783110302028/original</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Handbook of Mathematical Induction : Theory and Applicationsent://SD_ILS/0/SD_ILS:5440492025-12-31T11:44:24Z2025-12-31T11:44:24ZAuthor Gunderson, David S., author.<br/>Preferred Shelf Number QA9.54 G863 2014<br/>Electronic Access <a href="https://www.taylorfrancis.com/books/9781420093650">Click here to view.</a><br/>Format: Books<br/>Availability Online Library~1<br/>Phonological Explorations : Empirical, Theoretical and Diachronic Issuesent://SD_ILS/0/SD_ILS:5315362025-12-31T11:44:24Z2025-12-31T11:44:24ZAuthor Apoussidou, Diana, contributor. Archangeli, Diana, contributor. Boersma, Paul, contributor. Booij, Geert, contributor. Botma, Bert, contributor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1515/9783110295177">https://doi.org/10.1515/9783110295177</a>
<a href="https://www.degruyter.com/isbn/9783110295177">https://www.degruyter.com/isbn/9783110295177</a>
Cover <a href="https://www.degruyter.com/document/cover/isbn/9783110295177/original">https://www.degruyter.com/document/cover/isbn/9783110295177/original</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>The recursive mind : the origins of human language, thought, and civilizationent://SD_ILS/0/SD_ILS:3753942025-12-31T11:44:24Z2025-12-31T11:44:24ZAuthor Corballis, Michael C.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://www.jstor.org/stable/10.2307/j.ctt7sw8d">http://www.jstor.org/stable/10.2307/j.ctt7sw8d</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>The primacy of grammarent://SD_ILS/0/SD_ILS:2395722025-12-31T11:44:24Z2025-12-31T11:44:24ZAuthor 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/>Mathematical objects in C++ : computational tools in a unified object-oriented approachent://SD_ILS/0/SD_ILS:5456902025-12-31T11:44:24Z2025-12-31T11:44:24ZAuthor Shapira, Yair, 1960, author.<br/>Preferred Shelf Number QA297 .S464 2009<br/>Electronic Access <a href="https://www.taylorfrancis.com/books/9781439811481">Click here to view.</a><br/>Format: Books<br/>Availability Online Library~1<br/>Phonological Domains : Universals and Deviationsent://SD_ILS/0/SD_ILS:5327232025-12-31T11:44:24Z2025-12-31T11:44:24ZAuthor Arias, Javier, contributor. Bickel, Balthasar, contributor. Cardinaletti, Anna, contributor. Dobashi, Yoshihito, contributor. Grijzenhout, Janet, contributor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1515/9783110217100">https://doi.org/10.1515/9783110217100</a>
<a href="https://www.degruyter.com/isbn/9783110217100">https://www.degruyter.com/isbn/9783110217100</a>
Cover <a href="https://www.degruyter.com/document/cover/isbn/9783110217100/original">https://www.degruyter.com/document/cover/isbn/9783110217100/original</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Handbook of recursive mathematicsent://SD_ILS/0/SD_ILS:2565912025-12-31T11:44:24Z2025-12-31T11:44:24ZAuthor 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-31T11:44:24Z2025-12-31T11:44:24ZAuthor 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/>Elementary standard MLent://SD_ILS/0/SD_ILS:5405112025-12-31T11:44:24Z2025-12-31T11:44:24ZAuthor Michaelson, Greg, 1953-<br/>Preferred Shelf Number QA76.73 .M5 M53 1995<br/>Electronic Access <a href="https://www.taylorfrancis.com/books/9781482286946">Click here to view.</a><br/>Format: Books<br/>Availability Online Library~1<br/>The formal semantics of programming languages an introductionent://SD_ILS/0/SD_ILS:2201702025-12-31T11:44:24Z2025-12-31T11:44:24ZAuthor Winskel, G. (Glynn)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access IEEE Xplore <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6276826">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6276826</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>An introduction to programming with specifications a mathematical approachent://SD_ILS/0/SD_ILS:2577562025-12-31T11:44:24Z2025-12-31T11:44:24ZAuthor Kubiak, Ryszard. Rudziński, Roman. Sokołowski, S. (Stefan)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780124276208">http://www.sciencedirect.com/science/book/9780124276208</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Proceedings of the Third Annual Workshop on Computational Learning Theory University of Rochester, Rochester, New York, August 6-8, 1990ent://SD_ILS/0/SD_ILS:2551052025-12-31T11:44:24Z2025-12-31T11:44:24ZAuthor Workshop on Computational Learning Theory (3rd : 1990 : Rochester, N.Y.) Fulk, Mark A. Case, John, 1942- ACM Special Interest Group for Automata and Computability Theory. SIGART.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9781558601468">http://www.sciencedirect.com/science/book/9781558601468</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:2569512025-12-31T11:44:24Z2025-12-31T11:44:24ZAuthor 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:2573522025-12-31T11:44:24Z2025-12-31T11:44:24ZAuthor 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:2572042025-12-31T11:44:24Z2025-12-31T11:44:24ZAuthor 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/>