Predicate logic as computational formalism (1979)

by K L Clark