Malcev Anatolii Ivanovic Metamathematics of algebric systems - 1971 - p. cm. Standard No.: 21002 Source: Textual Dewey Class. No.: B2xN09x, L1