Higher Recursion Theory
Published: 1990
ISBN-13: 9783662120132