Proceeding on Rekursive kombinatorik on logic and amchines - Borger E (Berlin Springer Verlag, 1984)