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