Gallier J.H. Logic for computer science : Foundations of automatic theorem proving / J.H.Gallier, 1986. - XV,511 p. p. - Текст : непосредственный.