Herbert B. Enderton

Publication Activity (10 Years)

Years Active: 1964-1998
Publications (10 Years): 0

Publications

Herbert B. Enderton
Alonzo Church and the Reviews. Bull. Symb. Log. 4 (2) (1998)
Herbert B. Enderton
Cumulative Index to Volumes 27-55 (1962-1990). J. Symb. Log. 55 (4) (1990)
J. W. Addison, Herbert B. Enderton
Meeting of the Association for Symbolic Logic: Berkeley, 1983. J. Symb. Log. 49 (1) (1984)
Herbert B. Enderton
Degrees of Computational Complexity. J. Comput. Syst. Sci. 6 (5) (1972)
Herbert B. Enderton, Hilary Putnam
A Note on the Hyperarithmetical Hierarchy. J. Symb. Log. 35 (3) (1970)
Herbert B. Enderton
On provable recursive functions. Notre Dame J. Formal Log. 9 (1) (1968)
Herbert B. Enderton
An Infinitistic Rule of Proof. J. Symb. Log. 32 (4) (1967)
Herbert B. Enderton, David C. Luckham
Hierarchies Over Recursive Well-Orderings. J. Symb. Log. 29 (4) (1964)