The non-realizability of disjunction of non-realizable formulae of the propositional calculus
Doklady Akademii Nauk, Tome 161 (1965) no. 6, pp. 1257-1258
Voir la notice de l'article provenant de la source Math-Net.Ru
@article{DAN_1965_161_6_a1,
author = {F. L. Varpakhovskii},
title = {The non-realizability of disjunction of non-realizable formulae of the propositional calculus},
journal = {Doklady Akademii Nauk},
pages = {1257--1258},
publisher = {mathdoc},
volume = {161},
number = {6},
year = {1965},
language = {ru},
url = {http://geodesic.mathdoc.fr/item/DAN_1965_161_6_a1/}
}
TY - JOUR AU - F. L. Varpakhovskii TI - The non-realizability of disjunction of non-realizable formulae of the propositional calculus JO - Doklady Akademii Nauk PY - 1965 SP - 1257 EP - 1258 VL - 161 IS - 6 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/DAN_1965_161_6_a1/ LA - ru ID - DAN_1965_161_6_a1 ER -
F. L. Varpakhovskii. The non-realizability of disjunction of non-realizable formulae of the propositional calculus. Doklady Akademii Nauk, Tome 161 (1965) no. 6, pp. 1257-1258. http://geodesic.mathdoc.fr/item/DAN_1965_161_6_a1/