Mathmetical Foundations of Computer Science (2010)
Keywords: MAT509