Spahn foundations (Rev #1)

Contributors

  • Rod Nederpelt

References

  • Rod Nederpelt, weak type theory: a formal language for mathematics, pdf

Revision on August 6, 2012 at 23:47:28 by Stephan Alexander Spahn?. See the history of this page for a list of all contributions to it.