Elements of mathematical logic - Lukasiewicz, Jan (International Series of Monographs on Pure and Applied Mathematics, 31, 1963)