Книга: "Математическая логика и теория алгоритмов для программистов ...