Publisher
Springer Science and Business Media LLC
Reference21 articles.
1. A. G. Pinus, ?The spectrum of rigid systems of Horn classes,? Sib. Mat. Zh.,22, No. 5, 153?157 (1981).
2. A. G. Pinus, ?On the operation of Cartesian product,? Izv. Vyssh. Uchebn. Zaved., Mat., No. 8, 51?53 (1983).
3. S. Burris and R. McKenzie, ?Decidability and Boolean representations,? Mem. Am. Math. Soc.,32, No. 246 (1981).
4. S. Burris and J. Lawrence, ?Two undecidability results using modified Boolean powers,? Can. J. Math.,34, No. 2, 500?505 (1982).
5. H. Herre and A. G. Pinus, ?Zum Entscheidungsproblem für Theorien in Logiken mit monadischen Verallgemeinerten Quantoren,? Z. Math. Logik Grundlageforsch.,24, No. 3, 375?384 (1978).