Some lattice-invariant properties of classes of recursively enumerable sets A. N. Degtev OriginalPaper Pages: 328 - 333
Minimal permutation representation of Thompson's simple group V. D. Mazurov OriginalPaper Pages: 350 - 361
Interpolation in infinitely layered extensions of provability logic L. L. Maksimova OriginalPaper Pages: 361 - 376