Topics in modern logic - Makinson,D C (Matheun & Co, Ltd., 1973)