Voir la notice de l'article provenant de la source Math-Net.Ru
@article{TM_1968_98_a4, author = {G. E. Mints}, title = {The construction of conservative logical inferences}, journal = {Trudy Matematicheskogo Instituta imeni V.A. Steklova}, pages = {112--120}, publisher = {mathdoc}, volume = {98}, year = {1968}, language = {ru}, url = {http://geodesic.mathdoc.fr/item/TM_1968_98_a4/} }
G. E. Mints. The construction of conservative logical inferences. Trudy Matematicheskogo Instituta imeni V.A. Steklova, Logical and logical-mathematical calculus. Part I, Tome 98 (1968), pp. 112-120. http://geodesic.mathdoc.fr/item/TM_1968_98_a4/