MATEMATIČESKAJA LOGIKA I AVTOMATIČESKOJE DOKAZATEĽSTVO TEOREM - Chang, Chin-Liang (Nauka, 1983)