CLARK,K.L

PREDICATE LOGIC AS A COMPUTATIONAL FORMALISM - 1 - LONDON OTH 1979 - 111

NCST 5.78

901