Normal view
MARC view
CLARK,K.L (Personal Name)
Machine generated authority record
Work cat.: (OSt)45089: CLARK,K.L, PREDICATE LOGIC AS A COMPUTATIONAL FORMALISM, 1979