News
GERHARD JÄGER, TIMOTEJ ROSEBROCK, SATO KENTARO, TRUNCATION AND SEMI-DECIDABILITY NOTIONS IN APPLICATIVE THEORIES, The Journal of Symbolic Logic, Vol. 83, No. 3 (SEPTEMBER 2018), pp. 967-990 ...
Hartley Rogers, Jr., Gödel Numberings of Partial Recursive Functions, The Journal of Symbolic Logic, Vol. 23, No. 3 (Sep., 1958), pp. 331-341 ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback