Logic : form and function; the mechanization of deductive reasoning /

41

Bibliographic Details
Main Author: 364822 Robinson, J. A.
Format:
Published: Edinburgh : Edinburgh University Press, 1979
Subjects: