We prove that any system of polynomial fixed point equations with coefficients in a complete commutative semiring has a canonical solution. In fact, our result also applies to systems of fixed point ...

School of Engineering and Innovation, The Open University, Milton Keynes MK7 6AA, U.K.

Why learn set theory? This book provides the answer — it is interesting, and also useful! Taking a new approach and looking from a fresh perspective, the discussion flows in a friendly and transparent ...