Self-reference in Arithmetic I

DSpace/Manakin Repository