Reeves S. Logic for computer science / S.Reeves,M.Clarke, 1990. - XI,260 p. p. - Текст : непосредственный.