Techniques of Deductive Inference.
Publisher: Prentice-Hall
Published: 1966-01-01