MATHEMATICAL LOGIC by YU. L. ERSHOV et E.A. PALYUTIN , 1984