Computability, Enumerability, Unsolvability: Directions in Recursion Theory
67.01 EUR
Eine tiefgehende Analyse der rekursiven Strukturen, die zeigt, wie Entscheidungsprobleme unlösbar werden, und erläutert die Rolle von Aufzählbarkeit in modernen Berechenbarkeitsstudien.