Elimination of quantors in horn theories having a small number of models E. A. Palyutin OriginalPaper Pages: 329 - 331
Analogues of Rice's theorem for semantic classes of propositions M. G. Peretyat'kin OriginalPaper Pages: 332 - 348
Axiomatizability and completeness of some classes of s-polygons A. A. Stepanova OriginalPaper Pages: 379 - 388
Finite graphs of groups with isomorphic fundamental groups D. G. Khramtsov OriginalPaper Pages: 389 - 409