The recursion-theoretic complexity of the semantics of predicate logic as a programminglanguage’, InformationandControl54,25 (1982)

by H Blair