@article{1183738474,
author = {Yasuhara, Ann},
title = {Review: A. V. Kuznecov, E. Mendelson, Undecidability of the General Problems of Completeness, Decidability and Equivalence for Propositional Calculi},
journal = {J. Symbolic Logic},
volume = {37},
number = {1},
year = {1972},
pages = { 756-757},
language = {en},
url = {http://dml.mathdoc.fr/item/1183738474}
}
Yasuhara, Ann. Review: A. V. Kuznecov, E. Mendelson, Undecidability of the General Problems of Completeness, Decidability and Equivalence for Propositional Calculi. J. Symbolic Logic, Tome 37 (1972) no. 1, pp. 756-757. http://gdmltest.u-ga.fr/item/1183738474/