Văn bản này: Математическая логика и теория алгоритмов для программистов: учебное пособие