Voir la notice de l'article provenant de la source Math-Net.Ru
@article{DAN_1966_169_1_a3, author = {Yu. T. Medvedev}, title = {Interpretation of logical formulas by means of finite problems}, journal = {Doklady Akademii Nauk}, pages = {20--23}, publisher = {mathdoc}, volume = {169}, number = {1}, year = {1966}, language = {ru}, url = {http://geodesic.mathdoc.fr/item/DAN_1966_169_1_a3/} }
Yu. T. Medvedev. Interpretation of logical formulas by means of finite problems. Doklady Akademii Nauk, Tome 169 (1966) no. 1, pp. 20-23. http://geodesic.mathdoc.fr/item/DAN_1966_169_1_a3/