Describir: An introduction to logic