Epsilon substitution method for elementary analysis

David Hilbert and his mathematical work

Hermann Weyl · Bulletin of the American Mathematical Society · 1944 · 145 citations · Full text

Natural Sciences, Mathematics, Physics +13

On the interpretation of non-finitist proofs–Part II

G. Kreisel · Journal of Symbolic Logic · 1952 · 134 citations

Computing, Computer Science, Mathematics +6

On the Interpretation of Non-Finitist Proofs: Part II. Interpretation of Number Theory. Applications

G. Kreisel · Project Euclid (Cornell University) · 1952 · 133 citations

Natural Sciences, Mathematics, Number Theory +6

On the interpretation of non-finitist proofs—Part I

G. Kreisel · Journal of Symbolic Logic · 1951 · 118 citations

Computing, Computer Science, Mathematics +9

Functionals defined by transfinite recursion

W. W. Tait · Journal of Symbolic Logic · 1965 · 37 citations

Natural Sciences, Computer Science, Mathematics +15