A basis of identities of the algebra of third-order matrices over a finite field G. K. Genov OriginalPaper Pages: 241 - 257
Expressibility in the elementary theory of recursively enumerable sets with realizability logic R. K. Prank OriginalPaper Pages: 282 - 291