Trudy Moskovskogo matematičeskogo obŝestva, Trudy Moskovskogo Matematicheskogo Obshchestva, Tome 9 (1960), pp. 357-371
Citer cet article
Ya. S. Smetanich. On the completeness of the propositional calculus with additional operations in one argument. Trudy Moskovskogo matematičeskogo obŝestva, Trudy Moskovskogo Matematicheskogo Obshchestva, Tome 9 (1960), pp. 357-371. http://geodesic.mathdoc.fr/item/MMO_1960_9_a12/
@article{MMO_1960_9_a12,
author = {Ya. S. Smetanich},
title = {On the completeness of the propositional calculus with additional operations in one argument},
journal = {Trudy Moskovskogo matemati\v{c}eskogo ob\^{s}estva},
pages = {357--371},
year = {1960},
volume = {9},
language = {ru},
url = {http://geodesic.mathdoc.fr/item/MMO_1960_9_a12/}
}
TY - JOUR
AU - Ya. S. Smetanich
TI - On the completeness of the propositional calculus with additional operations in one argument
JO - Trudy Moskovskogo matematičeskogo obŝestva
PY - 1960
SP - 357
EP - 371
VL - 9
UR - http://geodesic.mathdoc.fr/item/MMO_1960_9_a12/
LA - ru
ID - MMO_1960_9_a12
ER -
%0 Journal Article
%A Ya. S. Smetanich
%T On the completeness of the propositional calculus with additional operations in one argument
%J Trudy Moskovskogo matematičeskogo obŝestva
%D 1960
%P 357-371
%V 9
%U http://geodesic.mathdoc.fr/item/MMO_1960_9_a12/
%G ru
%F MMO_1960_9_a12
