Pages that link to "Item:Q5253927"

The following pages link to Primitive Recursive Arithmetic and Its Role in the Foundations of Arithmetic: Historical and Philosophical Reflections (Q5253927):

Displaying 2 items.

• On the concept of finitism (Q510710) (← links)
• ETA-RULES IN MARTIN-LÖF TYPE THEORY (Q5240810) (← links)