Title: Algorithmic logic with nondeterministic programs
Subjects: Algorithms, Formal languages, Symbolic and mathematical Logic