Dan Simovici

• Mathematical Foundations of Computer Science