Herbert B. Enderton
From MaRDI portal
Person:2535678
Available identifiers
zbMath Open enderton.herbert-bWikidataQ2026602 ScholiaQ2026602MaRDI QIDQ2535678
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 |
|---|---|---|
| https://portal.mardi4nfdi.de/entity/Q3582626 | 2010-09-02 | Paper |
| A mathematical introduction to logic. | 2001-03-18 | Paper |
| Alonzo Church and the Reviews | 1999-09-23 | Paper |
| In Memoriam: Alonzo Church 1903–1995 | 1996-07-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4163527 | 1977-01-01 | Paper |
| Constructible β‐models | 1973-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4052071 | 1972-01-01 | Paper |
| Degrees of computational complexity | 1972-01-01 | Paper |
| A note on the hyperarithmetical hierarchy | 1971-01-01 | Paper |
| Approximating the standard model of analysis | 1971-01-01 | Paper |
| Finite Partially‐Ordered Quantifiers | 1970-01-01 | Paper |
| The unique existential quantifier | 1970-01-01 | Paper |
| On provable recursive functions | 1968-01-01 | Paper |
| An infinitistic rule of proof | 1967-01-01 | Paper |
| Hierarchies in Recursive Function Theory | 1964-01-01 | Paper |
| Hierarchies over recursive well-orderings | 1964-01-01 | Paper |
Research outcomes over time
This page was built for person: Herbert B. Enderton