Priority arguments using iterated trees of strategies

Lecture Notes in Mathematics - Recursion Theory Week ◽

10.1007/bfb0086123 ◽

1990 ◽

pp. 277-296 ◽

Cited By ~ 6

Author(s):

Steffen Lempp ◽

Manuel Lerman