Download Logic Colloquium \'88, Proceedings Of The Colloquium Held In Padova 1989