Deductive logic and descriptive language - Harrison, Frank R. 1935- (Prentice-Hall, 1969)