Produkt mají v nabídce:
Predicate Transformer Semantics - Manes, Ernest. G. (University of Massachusetts, Amherst)
This book presents a rigorous foundation for defining Boolean categories and will appeal to graduate students and researchers in theoretical computer science.