Fitting M. First-order logic and automated theorem proving / M.Fitting, 1990. - XIII,242 p. p. - Текст : непосредственный.