Mathematical Foundations of Computer Science (2014)
Keywords: P13MAT202