Hinman, Peter G.

Recursion-theoretic hierarchies / Peter G. Hinman. - Berlin : Springer-Verlag, 1978.

მათემატიკა მათემატიკური ლოგიკა