Voir la notice de l'article provenant de la source Math-Net.Ru
@article{DAN_1963_151_5_a10, author = {V. A. Yankov}, title = {On the realizable formulae of propositional logic}, journal = {Doklady Akademii Nauk}, pages = {1035--1037}, publisher = {mathdoc}, volume = {151}, number = {5}, year = {1963}, language = {ru}, url = {http://geodesic.mathdoc.fr/item/DAN_1963_151_5_a10/} }
V. A. Yankov. On the realizable formulae of propositional logic. Doklady Akademii Nauk, Tome 151 (1963) no. 5, pp. 1035-1037. http://geodesic.mathdoc.fr/item/DAN_1963_151_5_a10/