Search Results for équation récursive.SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003d$0025C3$0025A9quation$002br$0025C3$0025A9cursive.$0026te$003dILS$0026ps$003d300?dt=list2024-12-23T10:45:58ZRecursive number theory : a development of recursive arithmetic in a logic-free equation calculus.ent://SD_ILS/0/SD_ILS:328412024-12-23T10:45:58Z2024-12-23T10:45:58ZAuthor Goodstein, Reuben Louis.<br/>Preferred Shelf Number QA 241 G6293 1957<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Recursive number theory a development of recursive arithmetic in a logic-free equation calculus.ent://SD_ILS/0/SD_ILS:2572042024-12-23T10:45:58Z2024-12-23T10:45:58ZAuthor 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/>Evolving Computability 11th Conference on Computability in Europe, CiE 2015, Bucharest, Romania, June 29-July 3, 2015. Proceedingsent://SD_ILS/0/SD_ILS:5190602024-12-23T10:45:58Z2024-12-23T10:45:58ZAuthor Beckmann, Arnold. editor. Mitrana, Victor. editor. Soskova, Mariya. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(519060.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-20028-6">https://doi.org/10.1007/978-3-319-20028-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>The formal semantics of programming languages an introductionent://SD_ILS/0/SD_ILS:2201702024-12-23T10:45:58Z2024-12-23T10:45:58ZAuthor 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/>