Mathematical Foundations of Computer Science: Sets, Relations, and Induction (Monographs in Computer Science) by Fejer, Peter A., Simovici, Dan (1990) Hardcover