000 00662nam a2200253Ia 4500
003 OSt
005 20220918172620.0
006 a|||||r|||| 00| 0
007 ta
008 220917b |||||||| |||| 00| 0 eng d
024 _a1,866
037 _cTextual
040 _aARTS
_cARTS
_beng
041 _2eng
_aeng
082 _aR14:(B), M4
100 _aRose H E
_942415
245 0 _aSubrecursion
_b functions and hierarchies
260 _aOxford
_bClarendon Press
_c1984
300 _axiii,191p
_ccm.
490 _aOxford logic guides; 9
650 _aPHILOSOPHY
942 _hR14:(B), M4
_cTEXL
_2CC
999 _c144856
_d144856