Cover Image

Computations in higher types /

Show other versions (1)
Bibliographic Details
Main Author: Moldestad, Johan, 1946-
Format: Book
Language:English
Published: Berlin ; New York : Springer-Verlag, 1977.
Series:Lecture notes in mathematics (Springer-Verlag) ; 574.
Subjects:
Recursive functions.
Description
Item Description:Includes indexes.
Physical Description:203 pages ; 25 cm.
Bibliography:Bibliography: pages [195]-196.
ISBN:0387081321