Mathematical foundations of computer science v 1 : Sets,relations and introduction - Fejer P A; Simovici D A (New York Springer-Verlag, 1991)
Keywords: Computer science; Inductive mathematics; Set theory