Text this: Генценовские системы для исчисления высказываний и аксиоматической арифметики: учебное пособие