01114nam0-22003851i-450-99000149967040332120060614120253.00-444-50072-3000149967FED01000149967(Aleph)000149967FED0100014996720030120d2000----km-y0itay50------baengNLa---a---001yyComputable structures and the hyperarithmetical hierarchyC. J. Ash, J. F. KnightAmsterdamElsevierc2000xv, 346 p.24 cmStudies in logic and the foundations of mathematics144Teoria delle numerazioniTeoria dei modelli511.321Ash,C. J.67028Knight,James Thomson57965ITUNINARICAUNIMARCBK990001499670403321C-30-(14417760MA1MA103D4503C5703D30Computable structures and the hyperarithmetical hierarchy377248UNINA