Techniques of deductive inference - Leblanc, Hugues (London Prentice-Hall International, Inc., 1966)
Keywords: Logic; Symbolic; Mathematical