TY - BOOK AU - Fejer P A AU - Simovici D A TI - Mathematical foundations of computer science: v 1 : Sets,relations and introduction U1 - 004.0151 PY - 1991/// CY - New York PB - Springer-Verlag KW - Computer science KW - Inductive mathematics KW - Set theory ER -