Logic portal Recursion (computer science) Computability logic Transcomputational problem Many of these foundational papers are collected in The Undecidable (1965) edited by Martin Davis.
Рекурзија (компјутерске науке) Логика израчунљивости Трансизрачунљив проблем Many of these foundational papers are collected in The Undecidable (1965) edited by Martin Davis.