Herbert B. Enderton

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
scientific article; zbMATH DE number 5778850 (Why is no real title available?)	2010-09-02	Paper
A mathematical introduction to logic.	2001-03-18	Paper
Alonzo Church and the Reviews The Bulletin of Symbolic Logic	1999-09-23	Paper
In Memoriam: Alonzo Church 1903–1995 The Bulletin of Symbolic Logic	1996-07-28	Paper
scientific article; zbMATH DE number 3595177 (Why is no real title available?)	1977-01-01	Paper
Constructible β‐models Mathematical Logic Quarterly	1973-01-01	Paper
Degrees of computational complexity Journal of Computer and System Sciences	1972-01-01	Paper
scientific article; zbMATH DE number 3467028 (Why is no real title available?)	1972-01-01	Paper
A note on the hyperarithmetical hierarchy Journal of Symbolic Logic	1971-01-01	Paper
Approximating the standard model of analysis Fundamenta Mathematicae	1971-01-01	Paper
The unique existential quantifier Archiv für Mathematische Logik und Grundlagenforschung	1970-01-01	Paper
Finite Partially‐Ordered Quantifiers Mathematical Logic Quarterly	1970-01-01	Paper
On provable recursive functions Notre Dame Journal of Formal Logic	1968-01-01	Paper
An infinitistic rule of proof Journal of Symbolic Logic	1967-01-01	Paper
Hierarchies over recursive well-orderings Journal of Symbolic Logic	1964-01-01	Paper
Hierarchies in Recursive Function Theory	1964-01-01	Paper

Research outcomes over time

This page was built for person: Herbert B. Enderton