TY  - BOOK
AU  - Robinson,J.A.
TI  - Logic: form and function ; the mechanization of deductive reasoning 
SN  - 0852243057
PY  - 1979///
CY  - Edinburg
PB  - University Press
KW  - Form (Logic)
KW  - Predicate calculus
KW  - Reasoning
N1  - Includes index; Bibliography: p. 300-302
ER  -