LOGIC Working repository for the course 'Logic in Computer Science', more commonly known simply as Logic.