Matematičeskaja logika i aumatičeskoje dokazateľstvo teorem. - CHIN; LIANG, CHANG; CHAR (1983)
Záznam neprešiel kontrolou