Article:Math.SG/0201059/Title

From Knot Atlas
< Article:Math.SG/0201059
Revision as of 03:10, 17 September 2006 by ScottBiblioRobot (talk | contribs)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigationJump to search

Beyond Goedel : Simply consistent constructive systems of first order Peano's Arithmetic that do not yield undecidable propositions by Goedel's reasoning

Retrieved from "https://katlas.org/index.php?title=Article:Math.SG/0201059/Title&oldid=1687746"