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