Lectures on Linear Logic door