Techniques of deductive inference - Leblanc, Hugues 1924- (Prentice-Hall, 1966)