TY - BOOK AU - Borger E TI - Proceeding on Rekursive kombinatorik on logic and amchines T2 - Lecture notes in computer science; 171 U1 - B0bD65,8(B), M4 PY - 1984/// CY - Berlin PB - Springer Verlag ER -