海量图书期刊资源,随时随地畅享阅读乐趣
Varieties of logical matricesA. V. Chagrov · Algebra and Logic · 1985
Decidable modal logic with undecidable admissibility problemA. V. Chagrov · Algebra and Logic · 1992
Undecidable properties of extensions of the logic of provabilityA. V. Chagrov · Algebra and Logic · 1990
Undecidable properties of extensions of a provability logic. IIA. V. Chagrov · Algebra and Logic · 1990
Algorithmic problems concerning first-order definability of modal formulas on the class of all finite framesA. V. Chagrov; L. A. Chagrova · Studia Logica · 1995
Algorithmic Problems concerning First-Order Definability of Modal Formulas on the Class of All Finite FramesA. V. Chagrov and L. A. Chagrova · Studia Logica: An International Journal for Symbolic Logic · 1995
On a relationship for Bernoulli numbersV. N. Lyakhovitskii · Mathematical Notes · 1967
Legendre transformation of convex functionsV. S. Vladimirov · Mathematical Notes · 1967
Nonoscillatory second-order optimal systemsV. G. Boltyanskii · Mathematical Notes · 1967
Radius of univalence of holomorphic functionsV. I. Gavrilov · Mathematical Notes · 1970
Endomorphically closed quasigroupsA. D. Bol'bot; Yu. N. Golubev · Mathematical Notes · 1970
A ring of quotientsL. Sh. Ioffe · Mathematical Notes · 1970
Consecutive residues and nonresidues of polynomialsL. E. Mazur · Mathematical Notes · 1970
A class of nuclear spacesM. M. Dragilev; V. P. Kondakov · Mathematical Notes · 1970