Elements of Mathematical logic and set theory - Slupecki J; Borkowski L (1967)