Mathematical Foundations of Computer Science (2015)
Keywords: P13MAT202