Meaning, quantification, necessity themes in philosophical logic - Davies, Martin 1950- (International library of philosophy, 1981)