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