Title: Wybrane zagadnienia informatyki teoretycznej
Subjects: Computer science, Mathematics, Symbolic and mathematical Logic, Computer algorithms