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