Modelos e Lógica - pocket, Portugisiska, 2015