Download Logic Colloquium \\\'85: Proceedings Orsay, 1985