Matematika a logika Limits of Computability within the Scope of Computational Mechanics Miloslav Okrouhlík
