Grażyna Mirkowska-Salwicka

• Algorithmic logic
• Algorithmic logic with nondeterministic programs