Mathematical foundations of computer science/
Peter A. Fejer, Dan A. Simovici.
- New York: Springer-Verlag, c1991-.
- v. <1- > ; 24 cm.
- Texts and monographs in computer science .
Includes bibliographical references (v. 1, p. 417-419) and index.
v. 1. Sets, relations, and induction.
0387974504 (Springer-Verlag New York Berlin Heidelberg) 3540974504 (Springer-Verlag Berlin Heidelberg New York)