Doesn't suit? No problem! You can return items for up to 30 days
You won't go wrong with a gift voucher. The gift recipient can choose anything from our offer.
Up to 30 days for returns
Benefiting researchers and graduate students involved in mathematical logic, this book opens with a detailed theory of reactive Kripke semantics in the first seven chapters, followed by five chapters demonstrating applications in a variety of areas.
Hi! I'm Libroamiko, your book advisor.
How can I help you?