Zapiski Nauchnykh Seminarov POMI, Studies in constructive mathematics and mathematical logic. Part III, Tome 16 (1969), pp. 28-43
Citer cet article
Ya. Ya. Golota. Nets of marks and deducibility in intuitionistic propositional calculus. Zapiski Nauchnykh Seminarov POMI, Studies in constructive mathematics and mathematical logic. Part III, Tome 16 (1969), pp. 28-43. http://geodesic.mathdoc.fr/item/ZNSL_1969_16_a3/
@article{ZNSL_1969_16_a3,
author = {Ya. Ya. Golota},
title = {Nets of marks and deducibility in intuitionistic propositional calculus},
journal = {Zapiski Nauchnykh Seminarov POMI},
pages = {28--43},
year = {1969},
volume = {16},
language = {ru},
url = {http://geodesic.mathdoc.fr/item/ZNSL_1969_16_a3/}
}
TY - JOUR
AU - Ya. Ya. Golota
TI - Nets of marks and deducibility in intuitionistic propositional calculus
JO - Zapiski Nauchnykh Seminarov POMI
PY - 1969
SP - 28
EP - 43
VL - 16
UR - http://geodesic.mathdoc.fr/item/ZNSL_1969_16_a3/
LA - ru
ID - ZNSL_1969_16_a3
ER -
%0 Journal Article
%A Ya. Ya. Golota
%T Nets of marks and deducibility in intuitionistic propositional calculus
%J Zapiski Nauchnykh Seminarov POMI
%D 1969
%P 28-43
%V 16
%U http://geodesic.mathdoc.fr/item/ZNSL_1969_16_a3/
%G ru
%F ZNSL_1969_16_a3
