Professional organizations for people working in the field of mathematical logic.