CLARK,K.L PREDICATE LOGIC AS A COMPUTATIONAL FORMALISM - 1 - LONDON OTH 1979 - 111 ISBN: NCST 5.78 Dewey Class. No.: 901