Elements of modern logic - S.H. Mellone (University Tutorial Press Ltd., 1966)