TY - BOOK AU - Normann Dag TI - Jump operator in set recursion U1 - 510.7 PY - 1977/// CY - Oslo PB - University KW - Mathematics KW - Recursion theory ER -