SMS: Introducción a una teoría de la lógica /