  This paper concerns the restricted 3-body problem. By applying topological
methods we give a computer assisted proof of the existence of some classes of
periodic orbits, the existence of symbolic dynamics and we give a rigorous
lower estimate for the topological entropy.
