V. P. Orevkov, “Glivenko classes of sequents”, Zap. Nauchn. Sem. LOMI, 1968, Volume 8,Pages <nobr>196–201</nobr>

RUS ENG

JOURNALS // Zapiski Nauchnykh Seminarov POMI // Archive

Zap. Nauchn. Sem. LOMI, 1968 Volume 8, Pages 196–201 (Mi znsl2264)

Glivenko classes of sequents

V. P. Orevkov

Fulltext: PDF file (235 kB)

Bibliographic databases:

© Steklov Math. Inst. of RAS, 2025