Title: Programs, recursion, and unbounded choice
Subjects: Computer programming, Semantics, Computers, psychological aspects, Computer programs, Mathematics, Recursion theory, Symbolic and mathematical Logic