Logic, form and function
Subtitle: the mechanization of deductive reasoning
By: J. A. Robinson.
Publisher: North-Holland
Published: 1979
Place of publication: New York
Language: eng
Number of pages: 312
Subjects: Reasoning.; Form (Logic); Predicate calculus.; Inference.
Notes: Bibliography: p. [300]-302.
Includes index.