Models, Algebras, and Proofs More Books Like This