Title: Learning logic, logical games (Mathematics experience program)