Multi-plataform Interface to an ITS of Proposicional Logic Teaching. - Fabiane F. P. Galafassi; Alan Velasques Santos; Rafael Koch Peres; Rosa Maria Vicari; João Carlos Gluz (PAAMS (Workshops), 2015)