I had already completed this course before Stefan started his conquest of the CS bachelors courses, however, I did have some other courses that he taught. I think he has a great knack for explaining things in a way that doesn't make the formalism seem overbearing, but rather as the most obvious way of communicating a concept. Assuming he is also able to communicate this in writing I'd say this book is probably a great introduction to the formal side of computer science.
Yay, this looks like a good theoretical CS textbook to throw at our juniors that don't have any theoretical CS background, without hitting them too hard.
I have an issue with the title, as Delftse is a Dutch word. The adjective version of (the city) Delft. The title is thus an ugly combination of Dutch and English (Denglish). I think 'Delft Foundations of Computation' would be better.
