Moldestad, Johan,  1946- <br/><br/>
Computations in higher types / 
Johan Moldestad 
 - Berlin :  Springer-Verlag,  c1977 
 - 203 p. ;  25 cm. 
 - Lecture notes in mathematics  a collection of informal reports and seminars ;  No. 574 .
<br/><br/>Includes bibliographical references and index 
<br/><br/><label>ISBN: </label>0387081321 (pbk) :  USD 24.80 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Recursive functions
<br/><br/><label>Dewey Class. No.: </label>510.82