000 00387nam a2200133Ia 4500
100 _aPeter A Fejer, Dan a Simovici
020 _a0-387-97450-4
654 _aComputer Science
942 _cBK
245 _aMathematical foundations of computer science : vol I : sets relations and induction
260 _aSpringer - Verlag, New York
_cc1991
082 _a519.4 Fej/Sim
300 _ax,428p
999 _c26297
_d26297