Geodesic
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

Voir la notice de l'article provenant de la source Math-Net.Ru

@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},
     publisher = {mathdoc},
     volume = {16},
     year = {1969},
     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
PB  - mathdoc
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
%I mathdoc
%U http://geodesic.mathdoc.fr/item/ZNSL_1969_16_a3/
%G ru
%F ZNSL_1969_16_a3
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/