RUS  ENG
Full version
JOURNALS // Zapiski Nauchnykh Seminarov POMI // Archive
Zap. Nauchn. Sem. LOMI, 1969 Volume 16, Pages 28–43 (Mi znsl2334)
Nets of marks and deducibility in intuitionistic propositional calculus

Ya. Ya. Golota




Bibliographic databases:

© Steklov Math. Inst. of RAS, 2024