Математическая логика и теория алгоритмов. Учебное пособие для вузов