Search results
I. (1987). Recursively Enumerable Sets and Degrees. Springer. ISBN 0-387-15299-7. Kroening, Daniel; Strichman, Ofer (23 May 2008). Decision procedures...10 KB (1,261 words) - 00:16, 7 November 2024- ISBN 0-486-42533-9. Robert I. Soare, 1987, Recursively enumerable sets and degrees, Perspectives in Mathematical Logic, Springer. ISBN 0-387-15299-7...8 KB (1,207 words) - 12:24, 5 June 2023
- Degrees. Perspectives in Mathematical Logic. Springer-Verlag. ISBN 0-387-15299-7. Soare, Robert Irving (1996). "Computability and recursion" (PDF). Bulletin...54 KB (6,419 words) - 10:46, 16 July 2024
- Recursively Enumerable Sets and Degrees, Springer-Verlag, 1987. ISBN 0-387-15299-7 Kleene, Stephen Cole (1952). Introduction to Metamathematics (7th [1974]...37 KB (7,083 words) - 21:53, 4 January 2025
