Meeting on Logic, Computability and Complexity
Amsterdam 5-7 March 1998