Comment by polymathemagics

Such a good book, recommend it to any software engineer.

Does anyone know of other books like this? That teach theory with good pedagogy?