Describir: Methods in mathematical logic