TY  - BOOK
AU  - Robinson,J.A.
TI  - Logic form and function: the mechanization of deductive reasoning 
SN  - 0852243057 :
U1  - 160 
PY  - 1979///
CY  - Edinburgh
PB  - The University Press
KW  - Form (Logic)
KW  - Predicate calculus
KW  - Reasoning
N1  - Includes bibliographical references and index
ER  -