03/29/2008, 09:58 AM
quickfur Wrote:http://eusebeia.dyndns.org/veblen/etf.html
...
Anyway, let me know what y'all think.
Just skimmed through your article and asking myself how this function can be expressed with a recursive definition ...