A Logical 3-valued Semantics for Nondeterministic Choice | Digital Library | PAMCET | PAMCET