TY - BOOK AU - Peter A Fejer, Dan a Simovici TI - Mathematical foundations of computer science : vol I : sets relations and induction SN - 0-387-97450-4 U1 - 519.4 Fej/Sim PY - 1991/// CY - Springer - Verlag, New York KW - Computer Science ER -