О неразрешимости общих проблем полноты, разрешения и эквивалентности для исчислений высказываний А.В. Кузнецов; A.V. Kuznecov; A.V. Kuznecov; A.V. Kuznecov; A.V. Kuznecov — 1963 Algebra i Logika