Article:Math.SG/0201059
From Knot Atlas
Jump to navigationJump to search
- Title: Beyond Goedel : Simply consistent constructive systems of first order Peano's Arithmetic that do not yield undecidable propositions by Goedel's reasoning
- Author: Bhupinder Singh Anand
- On the arxiv: abstract pdf src
- Citebase
References
On the arxiv
Article:Math.SG/0201059/arxiv-references