It's pretty mathematical. In some respects, it contains more CS formalisms than SICP---but it's not too hardcore.

For example, last chapter defines all the operational semantics of their language.

Mind the authors come from the logic programming community, so the book is quite tight.