Elements of mathematical logic - Lukasiewicz, Jan (International series of monographs on pure and applied mathematics, 1963)