Pages that link to "Item:Q5779181"

The following pages link to A Formalization of Recursive Arithmetic (Q5779181):

Displaying 2 items.

• On the concept of finitism (Q510710) (← links)
• A simple proof of Parsons' theorem (Q558443) (← links)