000			01940nam a2200325Ia 4500
005			20250616145519.0
008			230519t1970||||xx |||||||||||||| ||und||
082			_a512.86
110			_aAmerican Mathematical Society _96447
245		0	_aAmerican Mathematical Society translation: series 2
250			_a1ª edición
260			_aRhode Island _bAmerican Mathematical Society _c1970
300			_a276 páginas
520			_aVolume 94: Sixteen papers on logic and algebra.- Some questions in the theory of algorithms 2.- A new algorithm for derivability in the constructive propositional calculus 3.- An associative calculus with an unsolvable problem of equivalence 4.- On the semantics of the theory of types 5.- On Horn formulas 6.- Generalized quasi-universal classes of models 7.- Some remarks on ultraproducts 8.- Conditions of decomposability of relations into direct products 9.- Partial universal algebras with prescribed lattices of subalgebras and correspondences 10.- On a class of mixed abelian groups with primary periodic part 11.- Completeness of holomorphs of abelian groups with automorphism 2 12.- An abstract characterization of the classes of semigroups of endomorphisms of systems of general type 13.- Strong bands of semigroups 14.- On lattice isomorphisms of commutative holoid semigroups 15.- Lattice isomorphisms of semigroups decomposable into free products 16.- On potential invertibility of elements of semigroups
650			_aÁlgebra
700			_aBaranskiĭ, V. _96448
700			_aBekker, I. _96449
700			_aCeĭtin, G. _96450
700			_aIskander, A. _96451
700			_aKogalovskiĭ, S. _96452
700			_aLjapin, E. _96453
700			_aMyškin, V. _96454
700			_aOrlovskiĭ, É. _96455
700			_aŠevrin, L. _96456
700			_aSpivak, M _96457
700			_aŠutov, É _96458
700			_aTaĭmanov, A. _96459
700			_aVorob′ev, N. _96460
942			_cBKG
999			_c172606 _d172606