Describir: A survey of mathematical logic /