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
Voir la notice du chapitre de livre
@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},
year = {1968},
volume = {98},
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/