Teach data structures by using logical-mathematical object oriented formalism and several programing languages

In this work, a method to teach data structures based on a novel logical-mathematical object oriented framework and several programming languages to develop the solutions is presented. The logical-mathematic formalism helps to understand the solution neither producing ambiguity nor uncertainty. The stack data structure is developed to show the methodology used in the curricular activity. The method helps to students to learn syntax and semanthics contributing to the generation of skill and logic reasoning.