Elements of mathematical logic and set theory - Slupecki, J. (Pergamon Press, 1967)