000 00389nam a22001097a 4500
008 220505s1978 de ||||| |||| 00| 0 eng d
100 _aHinman, Peter G.
_9234868
245 _aRecursion-theoretic hierarchies /
_cPeter G. Hinman.
264 _aBerlin :
_bSpringer-Verlag,
_c1978.
653 _aმათემატიკა
653 _aმათემატიკური ლოგიკა
999 _c591752
_d591750