Hierarchies Over Recursive Well-Orderings. - Herbert B. Enderton; David C. Luckham (J. Symb. Log., 1964)

An Infinitistic Rule of Proof. - Herbert B. Enderton (J. Symb. Log., 1967)

On provable recursive functions. - Herbert B. Enderton (Notre Dame J. Formal Log., 1968)

A Note on the Hyperarithmetical Hierarchy. - Herbert B. Enderton; Hilary Putnam (J. Symb. Log., 1970)

A mathematical introduction to logic. - Herbert B. Enderton (Academic Press, 1972)

Degrees of Computational Complexity. - Herbert B. Enderton (J. Comput. Syst. Sci., 1972)

Meeting of the Association for Symbolic Logic: Berkeley, 1983. - J. W. Addison; Herbert B. Enderton (J. Symb. Log., 1984)

Cumulative Index to Volumes 27-55 (1962-1990). - Herbert B. Enderton (J. Symb. Log., 1990)

Alonzo Church and the Reviews. - Herbert B. Enderton (Bull. Symb. Log., 1998)