Techniques of deductive inference.
Publisher: Prentice-Hall
Published: 1966
Place of publication: Englewood Cliffs, N.J
Language: eng
Number of pages: 216
Subjects: Logic, Symbolic and mathematical.
Notes: Bibliography: p. 209-211.