Topics in modern logic - Makinson, David Clement (London : Methuen & Co. Ltd., 1973)
Bibliography: page 99-104.
Keywords: Logic