Sixteen papers on logic and algebra / by V. A. Baranskii [and others]. Series 2, volume 94

Contributor(s): Baranskii, V. AMaterial type: Computer fileComputer fileSeries: American Mathematical Society Translations: Series 2Description: 1 online resource (1 online resource (iv, 276 pages).)ISBN: 9781470433055 (online)Subject(s): Logic, Symbolic and mathematicalAlgebraOnline resources: Click here to access online
Contents:
Some 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 / E. 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
Tags from this library: No tags from this library for this title. Log in to add tags.
    Average rating: 0.0 (0 votes)
Item type Current library Call number URL Status Date due Barcode Item holds
electronic book electronic book
Link to resource Accessible Online EBK20748
Total holds: 0

Includes bibliographical references.

Some 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 / E. 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

There are no comments on this title.

to post a comment.