Recursive functionals /

Bibliographic Details
Main Author: Sanchis, Luis E.
Format: Book
Published: Amsterdam : North-Holland, 1992.
Series:Studies in logic and the foundations of mathematics ; v. 131
Subjects: