Nepejvoda, N. N. Semantics of algorithmic languages. (English) Zbl 0554.68006 J. Sov. Math. 25, 1558-1606 (1984). MSC: 68-02 68Q60 68Q55 PDFBibTeX XMLCite \textit{N. N. Nepejvoda}, J. Sov. Math. 25, 1558--1606 (1984; Zbl 0554.68006) Full Text: DOI
Tolstova, Ju. N. A weakening of intuitionistic logic. (English) Zbl 0252.02016 J. Sov. Math. 1, No. 1, 132-138 (1973). MSC: 03B55 PDFBibTeX XMLCite \textit{Ju. N. Tolstova}, J. Sov. Math. 1, No. 1, 132--138 (1973; Zbl 0252.02016) Full Text: DOI