RUS
ENG
Full version
PEOPLE
Golota Ya Ya
Publications in Math-Net.Ru
A matrix notation for the nets of marks
Zap. Nauchn. Sem. LOMI
,
40
(1974),
4–9
Some ways simplifying the constructing of the nets of marks
Zap. Nauchn. Sem. LOMI
,
16
(1969),
44–53
Nets of marks and deducibility in intuitionistic propositional calculus
Zap. Nauchn. Sem. LOMI
,
16
(1969),
28–43
©
Steklov Math. Inst. of RAS
, 2024