Predicate logic as a computational formalism. Research Report DOC 79/59 (1979)

by K L Clark
Venue:Department of Computing, Imperial College