N. N. Vorob'év. Probléma vyvodimosti v konstruktivnom isčislénii vyskazyvanij s sil'nym otricaniém (The problem of deducibility in the constructive propositional calculus with strong negation). Doklady Akadémii Nauk SSSR, vol. 85 (1952), pp. 689–692.
Andrzej Włodzimierz Mostowski · Journal of Symbolic Logic · 1953
N. N. Vorob'év. Probléma vyvodimosti v konstruktivnom isčislénii vyskazyvanij s sil'nym otricaniém (The problem of deducibility in the constructive propositional calculus with strong negation). Doklady Akadémii Nauk SSSR, vol. 85 (1952), pp. 689–692. - Volume 18 Issue 3