Computations in higher types [electronic resource] / Johan Moldestad.

Saved in:

Bibliographic Details
Online Access:	Full Text (via Springer)
Main Author:	Moldestad, Johan, 1946-
Format:	Electronic eBook
Language:	English
Published:	Berlin ; New York : Springer-Verlag, 1977.
Series:	Lecture notes in mathematics (Springer-Verlag) ; 574.
Subjects:	Recursive functions.

Internet

Full Text (via Springer)

Holdings details from Online
Call Number:	QA3 .L28 no. 574 QA9.615
QA3 .L28 no. 574 QA9.615	Available