00590cam 2200205 450 1877039http://id.bnportugal.gov.pt/bib/porbase/187703920030605232200.00-262-68052-159143PTBN0054652419920508d1988 k y0pory0103 baengGBTheory of recursive functions and efective computabilityHartley Rogers,Cambridge, MassachusettsMIT Press1988482 p.681.3BNpor289952RogersHartley721050PTBNRPC1A-4-26coopISECmq1199993bccoopISEC058030ISEC3-223