Herbert B. Enderton

According to our database, Herbert B. Enderton authored at least 9 papers between 1964 and 1998.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

1998

Alonzo Church and the Reviews.

Herbert B. Enderton

Bull. Symb. Log., 1998

1990

Cumulative Index to Volumes 27-55 (1962-1990).

Herbert B. Enderton

J. Symb. Log., 1990

1984

Meeting of the Association for Symbolic Logic: Berkeley, 1983.

J. W. Addison, Herbert B. Enderton

J. Symb. Log., 1984

1972

Degrees of Computational Complexity.

Herbert B. Enderton

J. Comput. Syst. Sci., 1972

A mathematical introduction to logic.

Herbert B. Enderton

Academic Press, ISBN: 978-0-12-238450-9, 1972

1970

A Note on the Hyperarithmetical Hierarchy.

Herbert B. Enderton, Hilary Putnam

J. Symb. Log., 1970

1968

On provable recursive functions.

Herbert B. Enderton

Notre Dame J. Formal Log., 1968

1967

An Infinitistic Rule of Proof.

Herbert B. Enderton

J. Symb. Log., 1967

1964

Hierarchies Over Recursive Well-Orderings.

Herbert B. Enderton, David C. Luckham

J. Symb. Log., 1964