TY - BOOK ID - 998003 TI - Récursivité AU - Azra, Jean-Pierre AU - Jaulin, Bernard PY - 1973 SN - 2040072446 9782040072445 PB - Paris DB - UniCat KW - Computer science KW - Mathematical logic KW - Recursive functions KW - Fonctions récursives KW - Recursive Functions KW - 510.6 KW - Functions, Recursive KW - Algorithms KW - Arithmetic KW - Logic, Symbolic and mathematical KW - Number theory KW - Recursion theory KW - Decidability (Mathematical logic) KW - Foundations KW - Recursive functions. KW - 510.6 Mathematical logic KW - Logique mathématique KW - Récursivité, Théorie de la KW - Recursivity UR - https://www.unicat.be/uniCat?func=search&query=sysid:998003 AB - ER -