Fejer P.A. Mathematical foundations of computer science. Vol. 1 : Sets, relations, and induction, 1991. - X,425 p. - Текст : непосредственный.