Metamathematics of algebric systems - Malcev Anatolii Ivanovic (1971)