Techniques of deductive inference
By: by H. Leblanc.
Publisher: Prentice-Hall
Published: 1966
Language: eng