Lessons in mathematical logic for high school students - Prepotente, Fe Lladoc