Carel S. Scholten · 1 obras en el catálogoObrasPPredicate Calculus and Program SemanticsPredicate Calculus and Program Semantics