Fejer, Peter A. Mathematical Foundations of Computer Science : Volume 1: Sets, Relations, and Induction / Peter A. Fejer - New York : Springer-Verlag, 1991 - 425 p ISBN: 0387974504 3540974504 Subjects--Topical Terms: Computer science--Mathematics. LC Class. No.: QA76.9.M35 / F45 M4 1991