TY - BOOK AU - Hinman, Peter G. TI - Recursion-theoretic hierarchies / PY - 1978/// CY - Berlin PB - Springer-Verlag KW - მათემატიკა KW - მათემატიკური ლოგიკა ER -