TY - BOOK AU - Hinman P G AU - Muller G H TI - (Omega)-Bibliography of mathematical logic: recursion theory U1 - 016.5101 PY - 1987/// CY - Berlin PB - Springer-Verlag KW - Bibliography-Mathematical logic KW - Recursion theory ER -