Arama Sonuçları équation récursive.SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/tr_TR/default_tr/default_tr/qu$003d$0025C3$0025A9quation$002br$0025C3$0025A9cursive.$0026te$003dILS$0026ps$003d300?dt=list2024-12-26T18:49:16ZRecursive number theory : a development of recursive arithmetic in a logic-free equation calculus.ent://SD_ILS/0/SD_ILS:328412024-12-26T18:49:16Z2024-12-26T18:49:16ZYazar Goodstein, Reuben Louis.<br/>Yer Numarası QA 241 G6293 1957<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Recursive number theory a development of recursive arithmetic in a logic-free equation calculus.ent://SD_ILS/0/SD_ILS:2572042024-12-26T18:49:16Z2024-12-26T18:49:16ZYazar Goodstein, R. L. (Reuben Louis)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444533852">http://www.sciencedirect.com/science/book/9780444533852</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-26T18:49:16Z2024-12-26T18:49:16ZYazar Beckmann, Arnold. editor. Mitrana, Victor. editor. Soskova, Mariya. editor. SpringerLink (Online service)<br/>Yer Numarası XX(519060.1)<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>The formal semantics of programming languages an introductionent://SD_ILS/0/SD_ILS:2201702024-12-26T18:49:16Z2024-12-26T18:49:16ZYazar Winskel, G. (Glynn)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim 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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>