Úvod do programování (ALG ) F F U K. Jonathan L. Verner. Department of Logic