CSL '89: 3rd Workshop on Computer Science Logic Kaiserslautern, FRG, October 2–6, 1989 Proceedings 1990 · ENGLISH · DJVU View details →
Recursion Theory Week: Proceedings of a Conference held in Oberwolfach, FRG, March 19–25, 1989 1990 · ENGLISH · DJVU View details →
