000			01847nmm a2200157Ia 4500
008			230301s9999||||xx |||||||||||||||||und||
020			_a9781470433055 (online)
245		0	_aSixteen papers on logic and algebra / _cby V. A. Baranskii [and others]. _hSeries 2, volume 94
300			_a1 online resource (1 online resource (iv, 276 pages).)
490			_aAmerican Mathematical Society Translations: Series 2,
504			_aIncludes bibliographical references.
505			_tSome questions in the theory of algorithms /; A new algorithm for derivability in the constructive propositional calculus /; An associative calculus with an unsolvable problem of equivalence /; On the semantics of the theory of types /; On Horn formulas /; Generalized quasi-universal classes of models /; Some remarks on ultraproducts /; Conditions of decomposability of relations into direct products /; Partial universal algebras with prescribed lattices of subalgebras and correspondences /; On a class of mixed abelian groups with primary periodic part /; Completeness of holomorphs of abelian groups with automorphism 2 /; An abstract characterization of the class of semigroups of endomorphisms of systems of general type /; Strong bands of semigroups /; On lattice isomorphisms of commutative holoid semigroups /; Lattice isomorphisms of semigroups decomposable into free products /; On potential invertibility of elements of semigroups / _rE. S. Orlovskii; N. N. Vorobev; G. S. Ceitin; S. R. Kogalovskii; A. D. Taimanov; S. R. Kogalovskii; S. R. Kogalovskii; M. A. Spivak; A. A. Iskander; V. I. Myskin; I. H. Bekker; E. S. Ljapin; L. N. Sevrin; L. N. Sevrin; L. N. Sevrin and V. A. Baranskii; E. G. Sutov
650			_aLogic, Symbolic and mathematicalAlgebra
700			_aBaranskii, V. A.,
856			_uhttp://www.ams.org/trans2/094
999			_c28161 _d28161