TY  - RPRT
TI  - Beyond Goedel : Simply consistent constructive systems of first order Peano's Arithmetic that do not yield undecidable propositions by Goedel's reasoning
AU  - Bhupinder Singh Anand
PY  - 2002
UR  - https://arxiv.org/abs/math/0201059
ID  - math/0201059
ER  -