Lecture notes on recursive arithmetic.

Caption title.

Orderings for term-rewriting systems /

"Research supported in part under NSF grant MCS 77-22830."

Degrees of unsolvability in the theory of programming languages,

Bibliography: p. 120-123.