Recursive functionals /

This work is a self-contained elementary exposition of the theory of recursive functionals, that also includes a number of advanced results. Although aiming basically at a theory of higher order computability, attention is restricted to second order functionals, where the arguments are numerical fun...

Full description

Bibliographic Details

Main Author:	Sanchis, Luis E.
Corporate Author:	ScienceDirect (Online service)
Format:	eBook
Language:	English
Language Notes:	English.
Published:	Amsterdam ; New York : North-Holland, 1992.
Series:	Studies in logic and the foundations of mathematics ; v. 131.
Subjects:	Recursive functions. Fonctions récursives. COMPUTERS > Machine Theory. Recursive functions Mathematical logic Electronic books.
Online Access:	Connect to the full text of this electronic book