Construction of decidable singular theories of two successor functions with an extra predicate L. P. Lisovik OriginalPaper Pages: 181 - 189
Connection between constructivizibility and strong constructivizibility for different classes of abelian groups N. G. Khisamiev OriginalPaper Pages: 220 - 233
An example of a theory without weakly (∑, ∑) -atomic models S. A. Chikhachëv OriginalPaper Pages: 233 - 237
Varieties of algebraic systems and propositional calculuses A. A. Shum OriginalPaper Pages: 237 - 251