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