SMS: Conceptos y problemas de la lógica moderna