Countable nondeterminism and logics of programs: fair-wellfoundedness of while-programs with nondeterministic assignments in the logic ALNA Marisa Venturini-Zilli — 1988 Banach Center Publications