TY - JOUR AU - Beckmann, Arnold AU - Pohlers, Wolfram IS - 1-3 JA - Annals of Pure and Applied Logic PB - Elsevier PY - 1998 TI - Applications of cut-free infinitary derivations to generalized recursion theory VL - 94 ER -