Cover Image

Computations in higher types /

Show other versions (1)
Bibliographic Details
Main Author: Moldestad, Johan, 1946-
Corporate Author: SpringerLink (Online service)
Format: eBook
Language:English
Published: Berlin ; New York : Springer-Verlag, 1977.
Series:Lecture notes in mathematics (Springer-Verlag) ; 574.
Subjects:
Recursive functions.
Fonctions récursives.
Rekursive Funktion.
Electronic books.
Online Access:Connect to the full text of this electronic book
Search Result 1
Cover Image
by Moldestad, Johan, 1946-
Published 1977
Book
Show all versions (2)