Weak Type Theory, a formal language for mathematics. Draft version (2001)

by Rob Nederpelt