Describir: A tour through mathematical logic /