Predicate Calculus and Program Semantics

الإنجليزية · غلاف ورقي