Pages that link to "Item:Q5779181"
From MaRDI portal
The following pages link to A Formalization of Recursive Arithmetic (Q5779181):
Displaying 7 items.
- On the concept of finitism (Q510710) (← links)
- A simple proof of Parsons' theorem (Q558443) (← links)
- Wittgenstein and finitism (Q1583770) (← links)
- Generality and existence: quantificational logic in historical perspective (Q2795206) (← links)
- The manuscripts of emil L. post (Q3033717) (← links)
- TWO (OR THREE) NOTIONS OF FINITISM (Q3550708) (← links)
- Primitive Recursive Arithmetic and Its Role in the Foundations of Arithmetic: Historical and Philosophical Reflections (Q5253927) (← links)