Article:Math.SG/0201059: Difference between revisions
From Knot Atlas
Jump to navigationJump to search
No edit summary |
(No difference)
|
Latest revision as of 04:09, 17 September 2006
- 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
