Advanced Mathematics for Informaticians - Applied Algebra and Mathematical Logic - BMETE90MX57