Mobile developers: IOS & Android.
Notación Lógica, árboles Binarios Y Cálculo Deóntico Proposicional