Describir: Lectures in logic and set theory.