Article:Math.SG/0201059

From Knot Atlas
Revision as of 03:09, 17 September 2006 by ScottBiblioRobot (talk | contribs)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
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