Golota, Ja. Ja. Some techniques for simplifying the construction of nets of marks. (English. Russian original) Zbl 0237.02004 Semin. Math., V. A. Steklov Math. Inst., Leningrad 16, 20-25 (1969); translation from Zap. Nauchn. Semin. Leningr. Otd. Mat. Inst. Steklov 16, 44-53 (1969). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page MSC: 03B55 Intermediate logics PDFBibTeX XML