Mathematical Logic. - JERŠOV, J. L.; PALJUTIN, J. A. (1984)