Computability, Enumerability, Unsolvability: Directions in Recursion Theory (London Mathematical Society Lecture Note Series, Band 224)
Ein prägnantes Werk über rekursive Strukturen, das die Grenzen der Berechenbarkeit aufzeigt, Aufzählbarkeit in algorithmischen Kontexten beleuchtet ...