Books by Joseph Goguen

Delve into the formal side of computer science with Joseph Goguen's books. A pioneer in algebraic semantics and category theory, explore his works for a deeper understanding of computation and logic.