Pages that link to "Item:Q5834330"

The following pages link to Function Theory in an Axiom-Free Equation Calculus (Q5834330):

Displaying 12 items.

• On the concept of finitism (Q510710) (← links)
• A simple proof of Parsons' theorem (Q558443) (← links)
• Studies in constructive mathematics and mathematical logic. Part IX (Q1307304) (← links)
• Wittgenstein and finitism (Q1583770) (← links)
• Georg Cantor as the author of constructions playing fundamental roles in constructive mathematics (Q1807457) (← links)
• Polymorphic extensions of simple type structures. With an application to a bar recursive minimization (Q1919547) (← links)
• Gödel, Gentzen, Goodstein: the magic sound of a G-string (Q2341287) (← links)
• The relatively exponential, logarithmic and circular functions in recursive function theory (Q2652407) (← links)
• Primitive Recursive Arithmetic and Its Role in the Foundations of Arithmetic: Historical and Philosophical Reflections (Q5253927) (← links)
• R. L. Goodstein and mathematical logic (Q5350596) (← links)
• The Formal Structure of a Denumerable System (Q5798787) (← links)
• On a finitary version of mathematical analysis (Q5957917) (← links)