Pages that link to "Item:Q1161741"
From MaRDI portal
The following pages link to Fifty years of self-reference in arithmetic (Q1161741):
Displaying 7 items.
- Faith \& falsity (Q705533) (← links)
- Characterizing programming systems allowing program self-reference (Q733737) (← links)
- The never-ending recursion (Q1688713) (← links)
- The scope of Gödel's first incompleteness theorem (Q2254575) (← links)
- ILLUSORY MODELS OF PEANO ARITHMETIC (Q2976385) (← links)
- Fixed point algebras (Q3333037) (← links)
- Some observations on the FGH theorem (Q6057622) (← links)
