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.