A. V. Kuznecov. Undecidability of the general problems of completeness, decidability and equivalence for propositional calculi. English translation of XXXVII 772 by E. Mendelson. American Mathematical Society translations, ser. 2 vol. 59 (1966), pp. 56–72.
Ann Yasuhara · Journal of Symbolic Logic · 1972
A. V. Kuznecov. Undecidability of the general problems of completeness, decidability and equivalence for propositional calculi. English translation of XXXVII 772 by E. Mendelson. American Mathematical Society translations, ser. 2 vol. 59 (1966), pp. 56–72. - Volume 37 Issue 4