00870nam0-22003131i-450-9900013197004033210-444-89447-0000131970FED01000131970(Aleph)000131970FED0100013197020000920d1992----km-y0itay50------baengRecursive functionalsLuis E. Sanchis.Amsterdam [etc.]North-Holland1992xii, 277 p.24 cmStudies in logic and the foundations of mathematics131Teoria della ricorsivita'511.35Sanchis,Luis E.49002ITUNINARICAUNIMARCBK990001319700403321C-30-(13110193MA1MA103D65Recursive functionals383095UNINAING01