Function Theory in an Axiom-Free Equation Calculus
From MaRDI portal
Publication:5834330
DOI10.1112/plms/s2-48.1.401zbMath0060.02307OpenAlexW1993151226WikidataQ56486709 ScholiaQ56486709MaRDI QIDQ5834330
No author found.
Publication date: 1945
Published in: Proceedings of the London Mathematical Society (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1112/plms/s2-48.1.401
Related Items (12)
The relatively exponential, logarithmic and circular functions in recursive function theory ⋮ Polymorphic extensions of simple type structures. With an application to a bar recursive minimization ⋮ R. L. Goodstein and mathematical logic ⋮ On the concept of finitism ⋮ A simple proof of Parsons' theorem ⋮ On a finitary version of mathematical analysis ⋮ Georg Cantor as the author of constructions playing fundamental roles in constructive mathematics ⋮ Wittgenstein and finitism ⋮ Primitive Recursive Arithmetic and Its Role in the Foundations of Arithmetic: Historical and Philosophical Reflections ⋮ Gödel, Gentzen, Goodstein: the magic sound of a G-string ⋮ Studies in constructive mathematics and mathematical logic. Part IX ⋮ The Formal Structure of a Denumerable System
This page was built for publication: Function Theory in an Axiom-Free Equation Calculus
