Techniques of deductive inference - Leblanc, Hugues 1924- (Englewood Cliffs, N. J. Prentice-Hall, 1966)
Keywords: Logic, Symbolic and mathematical