TY  - BOOK
AU  - CLARK,K.L
TI  - PREDICATE LOGIC AS A COMPUTATIONAL FORMALISM
SN  - NCST
U1  - 901 
PY  - 1979///
CY  - LONDON
PB  - OTH
ER  -