Математическая логика и теория алгоритмов 7. Теорема о полноте ...