Predicate Calculus and Program Semantics (Monographs in Computer Science)

4 MiB

Download ready in 3s