General Recursion Theory
Published: 1980
ISBN-13: 9783662118245