Proceedings of the third workshop on Computer science logic