Mathematical Foundations of Computer Science Sets, Relations, and Induction Fejer Peter A. Heftet / 2011 / Engelsk