Text this: Proceedings of the third Scandinavian Logic Symposium /