Predicate logic as a computational formalism. Research report (1979)

by K L Clark