TY  - RPRT
TI  - PA is instantiationally complete, but algorithmically incomplete: An alternative interpretation of Goedelian incompleteness under Church's Thesis that links formal logic and computability
AU  - Bhupinder Singh Anand
PY  - 2005
UR  - https://arxiv.org/abs/math/0507044
ID  - math/0507044
ER  -