> Multivolume work
-
Mathematical foundations of computer science 1 Sets, relations, and induction Peter A. Fejer; Dan A. Simovici
New York; Berlin; Heidelberg: Springer, 1991