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

unidentified references